Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 17:26 3 jun 2015 (dif | hist) . . (-98) . . Lógica matemática y fundamentos (2014-15)
- 17:25 3 jun 2015 (dif | hist) . . (+98) . . Lógica matemática y fundamentos (2014-15)
- 17:24 3 jun 2015 (dif | hist) . . (-35) . . Lógica matemática y fundamentos (2014-15)
- 17:22 3 jun 2015 (dif | hist) . . (-15) . . Lógica matemática y fundamentos (2014-15)
- 17:20 3 jun 2015 (dif | hist) . . (+6) . . Lógica matemática y fundamentos (2014-15)
- 17:19 3 jun 2015 (dif | hist) . . (+72) . . Lógica matemática y fundamentos (2014-15)
- 17:18 3 jun 2015 (dif | hist) . . (+148) . . Lógica matemática y fundamentos (2014-15)
- 09:43 22 may 2015 (dif | hist) . . (0) . . m R16 (Protegió «R16» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 09:43 22 may 2015 (dif | hist) . . (+2768) . . N Relación 16 (Página creada con '=== Relación 16: Resolución en Lógica de primer orden === ---- '''Ejercicio 1.''' Se consideran las siguientes fórmulas: reflexiva: ∀x R(x,x) simétrica: ∀x ∀...')
- 09:42 22 may 2015 (dif | hist) . . (-8) . . R16
- 09:41 22 may 2015 (dif | hist) . . (-18) . . R16
- 09:40 22 may 2015 (dif | hist) . . (-4) . . R16
- 09:38 22 may 2015 (dif | hist) . . (-9) . . R16
- 09:38 22 may 2015 (dif | hist) . . (+16) . . R16
- 09:37 22 may 2015 (dif | hist) . . (+2791) . . N R16 (Página creada con ' === Relación 16: Resolución en Lógica de primer orden === ---- '''Ejercicio 1.''' Se consideran las siguientes fórmulas: reflexiva: ∀x R(x,x) simétrica: ∀x ∀y (...')
- 09:36 22 may 2015 (dif | hist) . . (+125) . . Lógica matemática y fundamentos (2014-15)
- 18:05 18 may 2015 (dif | hist) . . (-1) . . Lógica matemática y fundamentos (2014-15)
- 18:04 18 may 2015 (dif | hist) . . (+7364) . . N R12 sol (Página creada con '<source lang = "haskell"> -- ResolucionProposicional.hs -- Resolución proposicional. -- --------------------------------------------------------------------- module Resolucion...') (edición actual)
- 18:04 18 may 2015 (dif | hist) . . (+32) . . Lógica matemática y fundamentos (2014-15)
- 18:03 18 may 2015 (dif | hist) . . (-718) . . Una solución (edición actual)
- 18:01 18 may 2015 (dif | hist) . . (+11 249) . . N R7 sol (Página creada con '<source lang = "haskell"> -- TablerosSemánticos.hs -- Tableros semánticos proposicionales. -- --------------------------------------------------------------------- module Tab...') (edición actual)
- 18:01 18 may 2015 (dif | hist) . . (+29) . . Lógica matemática y fundamentos (2014-15)
- 17:59 18 may 2015 (dif | hist) . . (+16 082) . . N R2a sol (Página creada con '<source lang = "haskell"> -- SintaxisSemanticaProp.hs -- Lógica proposicional: Sintaxis y semántica -- --------------------------------------------------------------------- m...') (edición actual)
- 17:58 18 may 2015 (dif | hist) . . (+29) . . Lógica matemática y fundamentos (2014-15)
- 09:59 17 may 2015 (dif | hist) . . (+49) . . R15 (edición actual)
- 09:58 17 may 2015 (dif | hist) . . (+49) . . Relación 15 (edición actual)
- 13:44 15 may 2015 (dif | hist) . . (0) . . m R15 (Protegió «R15» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:44 15 may 2015 (dif | hist) . . (-3) . . R15
- 13:43 15 may 2015 (dif | hist) . . (-2) . . Relación 15
- 13:43 15 may 2015 (dif | hist) . . (+824) . . N Relación 15 (Página creada con '=== Relación 15: Tableros semánticos en LPO === ---- '''Ejercicio 1.''' Decidir por tableros semánticos, si: ∀x (P(x) → Q(x)) ⊧ (∃x P(x)) → (∃ x Q(x)) ---- '...')
- 13:42 15 may 2015 (dif | hist) . . (+825) . . N R15 (Página creada con ' === Relación 15: Tableros semánticos en LPO === ---- '''Ejercicio 1.''' Decidir por tableros semánticos, si: ∀x (P(x) → Q(x)) ⊧ (∃x P(x)) → (∃ x Q(x)) ---- ...')
- 13:42 15 may 2015 (dif | hist) . . (+135) . . Lógica matemática y fundamentos (2014-15)
- 14:34 11 may 2015 (dif | hist) . . (0) . . m R14 (Protegió «R14» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 14:34 11 may 2015 (dif | hist) . . (+2366) . . N R14 (Página creada con '<source lang = "isar"> header {* R14: Argumentación y Deducción natural en lógica de primer orden *} theory R14 imports Main begin text {* Ej. 1: Existe un hombre al que ...')
- 14:34 11 may 2015 (dif | hist) . . (0) . . Relación 14
- 14:33 11 may 2015 (dif | hist) . . (+2333) . . Relación 14
- 14:33 11 may 2015 (dif | hist) . . (+33) . . N Relación 14 (Página creada con '<source lang = "isar"< </source>')
- 14:33 11 may 2015 (dif | hist) . . (-4) . . Lógica matemática y fundamentos (2014-15)
- 14:32 11 may 2015 (dif | hist) . . (+155) . . Lógica matemática y fundamentos (2014-15)
- 17:32 10 may 2015 (dif | hist) . . (-2) . . Relación 13 (edición actual)
- 17:32 10 may 2015 (dif | hist) . . (+661) . . N Relación 13 (Página creada con ' === Relación 13: Cuestiones === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: * Para toda fórmula F se tiene que si G es una forma de Skolem de F e...')
- 17:32 10 may 2015 (dif | hist) . . (0) . . m R13 (Protegió «R13» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 17:31 10 may 2015 (dif | hist) . . (+661) . . N R13 (Página creada con ' === Relación 13: Cuestiones === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: * Para toda fórmula F se tiene que si G es una forma de Skolem de F e...')
- 17:31 10 may 2015 (dif | hist) . . (+99) . . Lógica matemática y fundamentos (2014-15)
- 12:24 29 abr 2015 (dif | hist) . . (+6119) . . N Relación 12 (Página creada con '<source lang = "haskell"> -- ResolucionProposicional.hs -- Resolución proposicional. -- --------------------------------------------------------------------- module Resolucion...')
- 12:24 29 abr 2015 (dif | hist) . . (+16 716) . . N Relación 11 (Página creada con '<source lang = "haskell"> -- Clausulas.hs -- Cláusulas. -- --------------------------------------------------------------------- module Clausulas where -- -------------------...')
- 12:23 29 abr 2015 (dif | hist) . . (0) . . N Archivo:ResolucionProposicional.hs (edición actual)
- 12:23 29 abr 2015 (dif | hist) . . (0) . . N Archivo:Clausulas.hs (edición actual)
- 12:22 29 abr 2015 (dif | hist) . . (+15 559) . . N Una solución (Página creada con '<source lang = "haskell"> -- FormasNormales.hs -- Formas normales. -- --------------------------------------------------------------------- module FormasNormales where -- ----...')
- 12:12 29 abr 2015 (dif | hist) . . (-2) . . Lógica matemática y fundamentos (2014-15)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).