Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 16:26 3 jun 2015 (dif | hist) . . (-98) . . Lógica matemática y fundamentos (2014-15)
- 16:25 3 jun 2015 (dif | hist) . . (+98) . . Lógica matemática y fundamentos (2014-15)
- 16:24 3 jun 2015 (dif | hist) . . (-35) . . Lógica matemática y fundamentos (2014-15)
- 16:22 3 jun 2015 (dif | hist) . . (-15) . . Lógica matemática y fundamentos (2014-15)
- 16:20 3 jun 2015 (dif | hist) . . (+6) . . Lógica matemática y fundamentos (2014-15)
- 16:19 3 jun 2015 (dif | hist) . . (+72) . . Lógica matemática y fundamentos (2014-15)
- 16:18 3 jun 2015 (dif | hist) . . (+148) . . Lógica matemática y fundamentos (2014-15)
- 08:43 22 may 2015 (dif | hist) . . (0) . . m R16 (Protegió «R16» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 08: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 ∀...')
- 08:42 22 may 2015 (dif | hist) . . (-8) . . R16
- 08:41 22 may 2015 (dif | hist) . . (-18) . . R16
- 08:40 22 may 2015 (dif | hist) . . (-4) . . R16
- 08:38 22 may 2015 (dif | hist) . . (-9) . . R16
- 08:38 22 may 2015 (dif | hist) . . (+16) . . R16
- 08: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 (...')
- 08:36 22 may 2015 (dif | hist) . . (+125) . . Lógica matemática y fundamentos (2014-15)
- 17:05 18 may 2015 (dif | hist) . . (-1) . . Lógica matemática y fundamentos (2014-15)
- 17: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)
- 17:04 18 may 2015 (dif | hist) . . (+32) . . Lógica matemática y fundamentos (2014-15)
- 17:03 18 may 2015 (dif | hist) . . (-718) . . Una solución (edición actual)
- 17: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)
- 17:01 18 may 2015 (dif | hist) . . (+29) . . Lógica matemática y fundamentos (2014-15)
- 16: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)
- 16:58 18 may 2015 (dif | hist) . . (+29) . . Lógica matemática y fundamentos (2014-15)
- 08:59 17 may 2015 (dif | hist) . . (+49) . . R15 (edición actual)
- 08:58 17 may 2015 (dif | hist) . . (+49) . . Relación 15 (edición actual)
- 12:44 15 may 2015 (dif | hist) . . (0) . . m R15 (Protegió «R15» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:44 15 may 2015 (dif | hist) . . (-3) . . R15
- 12:43 15 may 2015 (dif | hist) . . (-2) . . Relación 15
- 12: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)) ---- '...')
- 12: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)) ---- ...')
- 12:42 15 may 2015 (dif | hist) . . (+135) . . Lógica matemática y fundamentos (2014-15)
- 13:34 11 may 2015 (dif | hist) . . (0) . . m R14 (Protegió «R14» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13: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 ...')
- 13:34 11 may 2015 (dif | hist) . . (0) . . Relación 14
- 13:33 11 may 2015 (dif | hist) . . (+2333) . . Relación 14
- 13:33 11 may 2015 (dif | hist) . . (+33) . . N Relación 14 (Página creada con '<source lang = "isar"< </source>')
- 13:33 11 may 2015 (dif | hist) . . (-4) . . Lógica matemática y fundamentos (2014-15)
- 13:32 11 may 2015 (dif | hist) . . (+155) . . Lógica matemática y fundamentos (2014-15)
- 16:32 10 may 2015 (dif | hist) . . (-2) . . Relación 13 (edición actual)
- 16: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...')
- 16:32 10 may 2015 (dif | hist) . . (0) . . m R13 (Protegió «R13» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 16: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...')
- 16:31 10 may 2015 (dif | hist) . . (+99) . . Lógica matemática y fundamentos (2014-15)
- 11: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...')
- 11: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 -- -------------------...')
- 11:23 29 abr 2015 (dif | hist) . . (0) . . N Archivo:ResolucionProposicional.hs (edición actual)
- 11:23 29 abr 2015 (dif | hist) . . (0) . . N Archivo:Clausulas.hs (edición actual)
- 11: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 -- ----...')
- 11: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).