(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).

• 12:11 29 abr 2015 (dif | hist) . . (+330)‎ . . Lógica matemática y fundamentos (2014-15) ‎
• 10:43 17 abr 2015 (dif | hist) . . (0)‎ . . m R10 ‎ (Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
• 10:43 17 abr 2015 (dif | hist) . . (+894)‎ . . N Relación 10 ‎ (Página creada con '=== Relación 10: Cuestiones === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: * Sean G₁ una forma normal disyuntiva de F₁ y G₂ una forma normal...') (edición actual)
• 10:43 17 abr 2015 (dif | hist) . . (-1)‎ . . R10 ‎
• 10:42 17 abr 2015 (dif | hist) . . (+895)‎ . . N R10 ‎ (Página creada con ' === Relación 10: Cuestiones === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: * Sean G₁ una forma normal disyuntiva de F₁ y G₂ una forma norma...')
• 10:42 17 abr 2015 (dif | hist) . . (+99)‎ . . Lógica matemática y fundamentos (2014-15) ‎
• 10:03 17 abr 2015 (dif | hist) . . (+10 337)‎ . . N Relación 9 ‎ (Página creada con '<source lang = "haskell"> -- FormasNormales.hs -- Formas normales. -- --------------------------------------------------------------------- module FormasNormales where -- ----...')
• 10:02 17 abr 2015 (dif | hist) . . (0)‎ . . N Archivo:FormasNormales.hs ‎ (edición actual)
• 10:02 17 abr 2015 (dif | hist) . . (+157)‎ . . Lógica matemática y fundamentos (2014-15) ‎
• 17:18 8 abr 2015 (dif | hist) . . (+92)‎ . . R8 ‎ (edición actual)
• 17:18 8 abr 2015 (dif | hist) . . (0)‎ . . m R8 ‎ (Protegió «R8» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
• 17:17 8 abr 2015 (dif | hist) . . (+92)‎ . . Relación 8 ‎ (edición actual)
• 17:16 8 abr 2015 (dif | hist) . . (+523)‎ . . N Relación 8 ‎ (Página creada con ' === Relación 8: Cuestiones sobre tableros semánticos === ---- '''Ejercicio 1.''' Sea T un tablero de S₁, I un modelo de una hoja abierta de T y S₂ ⊆ S₁. Entonces, ...')
• 17:16 8 abr 2015 (dif | hist) . . (+523)‎ . . N R8 ‎ (Página creada con ' === Relación 8: Cuestiones sobre tableros semánticos === ---- '''Ejercicio 1.''' Sea T un tablero de S₁, I un modelo de una hoja abierta de T y S₂ ⊆ S₁. Entonces, ...')
• 17:15 8 abr 2015 (dif | hist) . . (+122)‎ . . Lógica matemática y fundamentos (2014-15) ‎
• 17:05 8 abr 2015 (dif | hist) . . (+9391)‎ . . N Relación 7 ‎ (Página creada con '<source lang = "haskell"> -- TablerosSemánticos.hs -- Tableros semánticos proposicionales. -- José A. Alonso Jiménez <jalonso@us.es> -- -------------------------------------...')
• 17:05 8 abr 2015 (dif | hist) . . (0)‎ . . N Archivo:TablerosSemanticos.hs ‎ (edición actual)
• 17:03 8 abr 2015 (dif | hist) . . (+14)‎ . . Lógica matemática y fundamentos (2014-15) ‎
• 12:17 5 abr 2015 (dif | hist) . . (+31 687)‎ . . N Relación 5 (resuelta) ‎ (Página creada con '<source lang = "isar"> header {* R5: Argumentación en lógica de primer orden *} theory R5_sol imports Main begin text {* -------------------------------------------------...')
• 12:15 5 abr 2015 (dif | hist) . . (+11)‎ . . Lógica matemática y fundamentos (2014-15) ‎
• 12:15 5 abr 2015 (dif | hist) . . (-2)‎ . . Lógica matemática y fundamentos (2014-15) ‎
• 12:14 5 abr 2015 (dif | hist) . . (-15)‎ . . Lógica matemática y fundamentos (2014-15) ‎
• 12:14 5 abr 2015 (dif | hist) . . (+116)‎ . . Lógica matemática y fundamentos (2014-15) ‎
• 18:34 22 mar 2015 (dif | hist) . . (+4)‎ . . Relación 6 ‎ (→‎Relación 6: Sintaxis y semántica de la Lógica de primer orden)
• 18:30 22 mar 2015 (dif | hist) . . (+84)‎ . . Relación 6 ‎ (→‎Relación 6: Sintaxis y semántica de la Lógica de primer orden)
• 14:20 19 mar 2015 (dif | hist) . . (0)‎ . . m R6 ‎ (Protegió «R6» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
• 14:19 19 mar 2015 (dif | hist) . . (+1206)‎ . . N Relación 6 ‎ (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: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 ‎

(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).