Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 14:19 19 mar 2015 (dif | hist) . . (+5) . . R6
- 14:18 19 mar 2015 (dif | hist) . . (+1201) . . N R6 (Página creada con '=== Relación 6: Sintaxis y semántica de la Lógica de primer orden === ---- '''Ejercicio 1.''' Sea F la fórmula P(x) → P ( a ) , donde a es un símbolo de constante. ¿Es...')
- 14:18 19 mar 2015 (dif | hist) . . (+136) . . Lógica matemática y fundamentos (2014-15) (→Relaciones de ejercicios)
- 22:10 18 mar 2015 (dif | hist) . . (+23 748) . . N Relación 5 (Página creada con '<source lang="isar"> header {* R5: Argumentación en lógica de primer orden *} theory R5_sol imports Main begin text {* ---------------------------------------------------...')
- 22:09 18 mar 2015 (dif | hist) . . (+95) . . Rel 5
- 22:07 18 mar 2015 (dif | hist) . . (+23 620) . . Rel 5
- 22:03 18 mar 2015 (dif | hist) . . (-31 649) . . Rel 5 (Página reemplazada por '<source lang = "isar"> </source>')
- 22:02 18 mar 2015 (dif | hist) . . (+31 682) . . 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 {* -----------------------------------------------------...')
- 22:00 18 mar 2015 (dif | hist) . . (0) . . m Rel 4 (Protegió «Rel 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 22:00 18 mar 2015 (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 reg...')
- 21:59 18 mar 2015 (dif | hist) . . (+13 905) . . 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 reg...')
- 21:57 18 mar 2015 (dif | hist) . . (+288) . . Lógica matemática y fundamentos (2014-15)
- 18:28 5 mar 2015 (dif | hist) . . (0) . . m Rel 3 (Protegió «Rel 3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 18:27 5 mar 2015 (dif | hist) . . (+17 713) . . N Relación 3 (Página creada con '<source lang = "isar"> header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* --------------------------------------------------------------...')
- 18:27 5 mar 2015 (dif | hist) . . (+17 713) . . N Rel 3 (Página creada con '<source lang = "isar"> header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* --------------------------------------------------------------...')
- 18:23 5 mar 2015 (dif | hist) . . (+1) . . Lógica matemática y fundamentos (2014-15)
- 11:39 18 feb 2015 (dif | hist) . . (0) . . R2b (edición actual)
- 11:39 18 feb 2015 (dif | hist) . . (0) . . m R2b (Protegió «R2b» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 11:39 18 feb 2015 (dif | hist) . . (+1790) . . 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,...')
- 11:12 18 feb 2015 (dif | hist) . . (-8) . . R2b
- 11:11 18 feb 2015 (dif | hist) . . (-50) . . R2b
- 11:10 18 feb 2015 (dif | hist) . . (-3) . . R2b
- 11:06 18 feb 2015 (dif | hist) . . (-2) . . R2b
- 10:50 18 feb 2015 (dif | hist) . . (+1853) . . 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...')
- 10:50 18 feb 2015 (dif | hist) . . (+113) . . Lógica matemática y fundamentos (2014-15)
- 22:32 15 feb 2015 (dif | hist) . . (+509) . . Relación 2a
- 22:21 15 feb 2015 (dif | hist) . . (+233) . . Relación 2
- 22:12 15 feb 2015 (dif | hist) . . (+50) . . Relación 2
- 22:08 15 feb 2015 (dif | hist) . . (+69) . . Relación 2
- 22:02 15 feb 2015 (dif | hist) . . (+82) . . Relación 1 (edición actual)
- 21:09 15 feb 2015 (dif | hist) . . (+260) . . Relación 1
- 11:37 13 feb 2015 (dif | hist) . . (+14 582) . . 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> -- ----------------------------...')
- 11:37 13 feb 2015 (dif | hist) . . (0) . . N Archivo:SintaxisSemantica.hs (edición actual)
- 11:31 13 feb 2015 (dif | hist) . . (+1) . . Lógica matemática y fundamentos (2014-15)
- 11:31 13 feb 2015 (dif | hist) . . (-1) . . Lógica matemática y fundamentos (2014-15)
- 14:11 12 feb 2015 (dif | hist) . . (+89) . . Relación 1
- 13:14 12 feb 2015 (dif | hist) . . (-2) . . Lógica matemática y fundamentos (2014-15)
- 13:12 12 feb 2015 (dif | hist) . . (0) . . Lógica matemática y fundamentos (2014-15)
- 15:25 9 feb 2015 (dif | hist) . . (+1) . . Lógica matemática y fundamentos (2014-15)
- 13:54 9 feb 2015 (dif | hist) . . (+6) . . Lógica matemática y fundamentos (2014-15)
- 13:51 9 feb 2015 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 13:51 9 feb 2015 (dif | hist) . . (+3300) . . N Relación 2 (Página creada con '=== Relación 2: Representación del conocimiento proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x es divisi...')
- 13:51 9 feb 2015 (dif | hist) . . (0) . . R2
- 13:50 9 feb 2015 (dif | hist) . . (+623) . . R2
- 13:49 9 feb 2015 (dif | hist) . . (+2677) . . N R2 (Página creada con '=== Relación 1: Representación del conocimiento proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x es divisi...')
- 13:47 9 feb 2015 (dif | hist) . . (0) . . Lógica matemática y fundamentos (2014-15)
- 13:47 9 feb 2015 (dif | hist) . . (+93) . . Lógica matemática y fundamentos (2014-15)
- 13:19 9 feb 2015 (dif | hist) . . (+17 624) . . N Relación 1 (Página creada con '<source lang = "haskell"> -- LMF 2014-15: Rel_1.hs (9 de Febrero de 2015) -- Introducción a la programación con Haskell. -- Departamento de Ciencias de la Computación e I.A. ...')
- 13:18 9 feb 2015 (dif | hist) . . (0) . . N Archivo:Rel 1.hs (edición actual)
- 12:47 9 feb 2015 (dif | hist) . . (+5910) . . Lógica matemática y fundamentos (2014-15)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).