Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)- 19:54 3 jun 2015 (dif | hist) . . (+1) . . Ejercicio 5 (b)
- 19:53 3 jun 2015 (dif | hist) . . (+2609) . . N Ejercicio 5 (b) (Página creada con '<source lang="isar> header {* Examen de Lógica Matemática y Fundamentos (6 de abril de 2015) *} theory e5_2_sol imports Main begin text {* Apellidos: Nombre: *} text...')
- 19:52 3 jun 2015 (dif | hist) . . (-1115) . . Ejercicio 5 (a)
- 19:49 3 jun 2015 (dif | hist) . . (+3516) . . N Ejercicio 5 (a) (Página creada con '<source lang="isar"> header {* Examen de Lógica Matemática y Fundamentos (6 de abril de 2015) *} theory e5_1_sol imports Main begin text {* Apellidos: Nombre: *} tex...')
- 19:48 3 jun 2015 (dif | hist) . . (+4902) . . N Ejercicio 4 (b) (Página creada con '<source lang="haskell"> -- --------------------------------------------------------------------- -- Gramática de fórmulas prosicionales -- -- --...') (edición actual)
- 19:46 3 jun 2015 (dif | hist) . . (+4965) . . N Ejercicio 4 (a) (Página creada con '<source lang="haskell"> -- --------------------------------------------------------------------- -- Gramática de fórmulas prosicionales -- -- -...') (edición actual)
- 10:36 22 may 2015 (dif | hist) . . (+27) . . Relación 16 (edición actual)
- 10:35 22 may 2015 (dif | hist) . . (-2) . . Relación 16
- 10:32 22 may 2015 (dif | hist) . . (+4) . . Relación 16
- 09:22 15 may 2015 (dif | hist) . . (-1) . . Relación 14
- 09:07 26 mar 2015 (dif | hist) . . (+5) . . Relación 6
- 09:07 26 mar 2015 (dif | hist) . . (-149) . . Relación 6
- 12:36 19 mar 2015 (dif | hist) . . (+16 047) . . 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...') (edición actual)
- 12:34 19 mar 2015 (dif | hist) . . (0) . . Lógica matemática y fundamentos (2014-15)
- 09:38 5 mar 2015 (dif | hist) . . (+25 126) . . 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 este tema se presentan los ejemplos del ...')
- 09:37 5 mar 2015 (dif | hist) . . (+122) . . Lógica matemática y fundamentos (2014-15)