Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 08:43 7 abr 2016 (dif | hist) . . (+136) . . Lógica matemática y fundamentos (2015-16)
- 20:45 6 abr 2016 (dif | hist) . . (-7) . . Lógica matemática y fundamentos (2015-16)
- 20:45 6 abr 2016 (dif | hist) . . (+6561) . . N Relación 5 (Página creada con '<source lang = "Isar"> header {* R5: Argumentación en lógica de primer orden *} theory R5 imports Main begin text {* -----------------------------------------------------...')
- 20:44 6 abr 2016 (dif | hist) . . (+6561) . . N Rel 5 (Página creada con '<source lang = "Isar"> header {* R5: Argumentación en lógica de primer orden *} theory R5 imports Main begin text {* -----------------------------------------------------...')
- 20:44 6 abr 2016 (dif | hist) . . (-3) . . Lógica matemática y fundamentos (2015-16)
- 20:43 6 abr 2016 (dif | hist) . . (+44) . . Lógica matemática y fundamentos (2015-16)
- 15:03 5 abr 2016 (dif | hist) . . (0) . . Lógica matemática y fundamentos (2015-16)
- 10:05 1 abr 2016 (dif | hist) . . (-7) . . Lógica matemática y fundamentos (2015-16)
- 10:04 1 abr 2016 (dif | hist) . . (+7) . . Lógica matemática y fundamentos (2015-16)
- 10:03 1 abr 2016 (dif | hist) . . (+13 905) . . N Relación 4 (Página creada con '<source lang = "Isar"> header {* R4: Deducción natural de primer orden *} theory R4 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las re...')
- 10:03 1 abr 2016 (dif | hist) . . (0) . . m Rel 4 (Protegió «Rel 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 10:03 1 abr 2016 (dif | hist) . . (+13 906) . . N Rel 4 (Página creada con '<source lang = "Isar"> header {* R4: Deducción natural de primer orden *} theory R4 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las re...')
- 10:01 1 abr 2016 (dif | hist) . . (+44) . . Lógica matemática y fundamentos (2015-16)
- 12:41 8 mar 2016 (dif | hist) . . (+1) . . R2a sol
- 12:40 8 mar 2016 (dif | hist) . . (+16 344) . . N R2a sol (Página creada con '<sourca lang="haskell"> -- SintaxisSemanticaProp.hs -- Lógica proposicional: Sintaxis y semántica -- --------------------------------------------------------------------- mod...')
- 12:40 8 mar 2016 (dif | hist) . . (+30) . . Lógica matemática y fundamentos (2015-16)
- 13:50 1 mar 2016 (dif | hist) . . (+17 711) . . N Relación 3 (Página creada con '<source lang = "isar">header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* ---------------------------------------------------------------...')
- 13:49 1 mar 2016 (dif | hist) . . (0) . . m Rel 3 (Protegió «Rel 3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:49 1 mar 2016 (dif | hist) . . (+17 712) . . N Rel 3 (Página creada con '<source lang = "isar"> header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* --------------------------------------------------------------...')
- 13:46 1 mar 2016 (dif | hist) . . (-1) . . Lógica matemática y fundamentos (2015-16)
- 12:09 23 feb 2016 (dif | hist) . . (+1797) . . N Relación 2b (Página creada con '=== Relación 2b: Sintaxis y semántica de la Lógica proposicional === ---- '''Ejercicio 1.''' Un rey somete a un prisionero a la siguiente prueba: lo enfrenta a dos puertas,...')
- 12:08 23 feb 2016 (dif | hist) . . (0) . . m R2b (Protegió «R2b» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 12:08 23 feb 2016 (dif | hist) . . (0) . . R2b
- 12:08 23 feb 2016 (dif | hist) . . (-9) . . R2b
- 12:07 23 feb 2016 (dif | hist) . . (-12) . . R2b
- 12:07 23 feb 2016 (dif | hist) . . (+1818) . . N R2b (Página creada con ' === Relación 2b: Sintaxis y semántica de la Lógica proposicional === ---- '''Ejercicio 1.''' Un rey somete a un prisionero a la siguiente prueba: lo enfrenta a dos puertas...')
- 12:02 23 feb 2016 (dif | hist) . . (+14 528) . . N Relación 2a (Página creada con '<source lang = "haskell"> -- SintaxisSemanticaProp.hs -- Lógica proposicional: Sintaxis y semántica -- José A. Alonso Jiménez <jalonso@us.es> -- ---------------------------...')
- 12:00 23 feb 2016 (dif | hist) . . (0) . . N Archivo:SintaxisSemantica.hs (edición actual)
- 12:00 23 feb 2016 (dif | hist) . . (-30) . . Lógica matemática y fundamentos (2015-16)
- 11:59 23 feb 2016 (dif | hist) . . (0) . . Lógica matemática y fundamentos (2015-16)
- 13:38 22 feb 2016 (dif | hist) . . (-1) . . Relación 1
- 14:11 16 feb 2016 (dif | hist) . . (+3303) . . N Relación 2 (Página creada con '=== Relación 1(b): Representación del conocimiento proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x es div...')
- 14:10 16 feb 2016 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 14:10 16 feb 2016 (dif | hist) . . (+3303) . . N R2 (Página creada con '=== Relación 1(b): Representación del conocimiento proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x es div...')
- 14:10 16 feb 2016 (dif | hist) . . (+17 603) . . N Relación 1 (Página creada con '<source lang = "haskell"> -- LMF 2015-16: Rel_1.hs -- Introducción a la programación con Haskell. -- Departamento de Ciencias de la Computación e I.A. -- Universidad de Sevi...')
- 14:09 16 feb 2016 (dif | hist) . . (0) . . N Archivo:Rel 1.hs (edición actual)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).