Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 17:26 24 ene 2022 (dif | hist) . . (-84) . . Lógica matemática y fundamentos (→Relaciones de ejercicios) (edición actual)
- 09:34 16 jul 2018 (dif | hist) . . (+145) . . N MediaWiki:Common.css (Página creada con «→Los estilos CSS colocados aquí se aplicarán a todas las apariencias: @import url("/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css");») (edición actual)
- 18:01 18 mar 2014 (dif | hist) . . (+11) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 17:59 18 mar 2014 (dif | hist) . . (-489) . . Lógica matemática y fundamentos
- 11:58 11 feb 2014 (dif | hist) . . (+9) . . Lógica matemática y fundamentos
- 11:57 11 feb 2014 (dif | hist) . . (+2) . . N Relación 1 (Página creada con 'pp') (edición actual)
- 07:33 18 sep 2013 (dif | hist) . . (0) . . Lógica matemática y fundamentos (→Ejercicios evaluables)
- 20:59 9 abr 2013 (dif | hist) . . (0) . . m Rel 7 (Protegió «Rel 7» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 20:58 9 abr 2013 (dif | hist) . . (+13 818) . . N Relación 7 (Página creada con '<source lang="Isar"> header {* R7: Deducción natural en lógica de primer orden con Isabelle/HOL *} theory R7 imports Main begin text {* Demostrar o refutar los siguientes...')
- 20:58 9 abr 2013 (dif | hist) . . (+13 818) . . N Rel 7 (Página creada con '<source lang="Isar"> header {* R7: Deducción natural en lógica de primer orden con Isabelle/HOL *} theory R7 imports Main begin text {* Demostrar o refutar los siguientes...')
- 20:57 9 abr 2013 (dif | hist) . . (+145) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 17:58 9 abr 2013 (dif | hist) . . (0) . . Ejercicio 2 (→Enunciado)
- 17:48 1 abr 2013 (dif | hist) . . (-2783) . . Tema 8 (edición actual)
- 17:47 1 abr 2013 (dif | hist) . . (+18 830) . . N Tema 8 (Página creada con '<source lang="Isar"> header {* Tema 8: Deducción natural en lógica de primer orden *} theory Tema8 imports Main begin text {* El objetivo de este tema es presentar la ded...')
- 17:46 1 abr 2013 (dif | hist) . . (+104) . . Lógica matemática y fundamentos (→Teorías Isabelle/HOL de los temas de deducción natural)
- 07:50 19 mar 2013 (dif | hist) . . (+23 653) . . N Relación 6 (Página creada con '<source lang="isar"> text {* --------------------------------------------------------------------- El objetivo de esta relación es formalizar en lógica de primer orden ...')
- 07:49 19 mar 2013 (dif | hist) . . (0) . . m Rel 6 (Protegió «Rel 6» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 07:49 19 mar 2013 (dif | hist) . . (-288) . . Rel 6
- 07:49 19 mar 2013 (dif | hist) . . (-138) . . Rel 6
- 07:47 19 mar 2013 (dif | hist) . . (+24 079) . . N Rel 6 (Página creada con '<source lang="isar"> text {* --------------------------------------------------------------------- El objetivo de esta relación es formalizar en lógica de primer orden ...')
- 07:31 19 mar 2013 (dif | hist) . . (+1759) . . N Relación 5 (Página creada con '<source lang="isar"> header {* R5: Eliminación de conectivas *} theory R5 imports Main begin text {* --------------------------------------------------------------------- ...')
- 07:31 19 mar 2013 (dif | hist) . . (-4) . . Rel 5 (edición actual)
- 07:30 19 mar 2013 (dif | hist) . . (0) . . m Rel 5 (Protegió «Rel 5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 07:30 19 mar 2013 (dif | hist) . . (+1763) . . N Rel 5 (Página creada con '<source lang="isar"> header {* T3R3: Eliminación de conectivas *} theory T3R3 imports Main begin text {* ------------------------------------------------------------------...')
- 07:27 19 mar 2013 (dif | hist) . . (+325) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 20:21 18 mar 2013 (dif | hist) . . (0) . . m Rel 4 (Protegió «Rel 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 20:21 18 mar 2013 (dif | hist) . . (+8503) . . N Relación 4 (Página creada con '<source lang="isar"> header {* R4: Argumentación proposicional *} theory R4 imports Main begin text {* --------------------------------------------------------------------...')
- 20:20 18 mar 2013 (dif | hist) . . (+8503) . . N Rel 4 (Página creada con '<source lang="isar"> header {* R4: Argumentación proposicional *} theory R4 imports Main begin text {* --------------------------------------------------------------------...')
- 20:19 18 mar 2013 (dif | hist) . . (+134) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 09:31 6 mar 2013 (dif | hist) . . (+410) . . Tema 2 (edición actual)
- 07:23 6 mar 2013 (dif | hist) . . (-4) . . Relación 3
- 22:03 5 mar 2013 (dif | hist) . . (-199) . . Tema 2
- 22:03 5 mar 2013 (dif | hist) . . (+200) . . Tema 2
- 14:32 5 mar 2013 (dif | hist) . . (-1434) . . Relación 3
- 11:58 5 mar 2013 (dif | hist) . . (-19 687) . . Relación 3 (Deshecha la edición 146 de Jalonso (disc.))
- 11:57 5 mar 2013 (dif | hist) . . (+19 687) . . Relación 3
- 20:26 4 mar 2013 (dif | hist) . . (+18) . . Tema 2
- 20:24 4 mar 2013 (dif | hist) . . (0) . . m Tema 2 (Protegió «Tema 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:24 4 mar 2013 (dif | hist) . . (+17 710) . . N Relación 3 (Página creada con '<source lang="isar"> header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* ----------------------------------------------------------------...')
- 20:23 4 mar 2013 (dif | hist) . . (0) . . m Rel 3 (Protegió «Rel 3» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 20:23 4 mar 2013 (dif | hist) . . (+17 710) . . N Rel 3 (Página creada con '<source lang="isar"> header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* ----------------------------------------------------------------...')
- 20:22 4 mar 2013 (dif | hist) . . (-10) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 19:29 4 mar 2013 (dif | hist) . . (+24 915) . . N Tema 2 (Página creada con '<source lang="isar"> header {* Tema 2: Deducción natural proposicional con Isabelle/HOL *} theory T2 imports Main begin text {* En esta sección se presentan los ejemplos ...')
- 19:25 4 mar 2013 (dif | hist) . . (+14) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 19:24 4 mar 2013 (dif | hist) . . (+200) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 17:53 20 feb 2013 (dif | hist) . . (+14 577) . . N Relación 2 (Página creada con '<source lang="haskell"> -- SintaxisSemanticaProp.hs -- Lógica proposicional: Sintaxis y semántica -- José A. Alonso Jiménez <jalonso@us,es> -- ------------------------------...')
- 17:52 20 feb 2013 (dif | hist) . . (0) . . N Archivo:Rel 2.hs (edición actual)
- 17:51 20 feb 2013 (dif | hist) . . (+158) . . Lógica matemática y fundamentos (→Relaciones de ejercicios con Haskell)
- 21:35 18 feb 2013 (dif | hist) . . (+157) . . N Problema 2 (Página creada con '== Enunciado == ¿Existe un conjunto S de tres fórmulas tal que de todos los subconjuntos de S sólo uno es inconsistente? == Soluciones colaborativas ==')
- 21:34 18 feb 2013 (dif | hist) . . (+66) . . Lógica matemática y fundamentos (→Problemas semanales)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).