Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 11:57 11 may 2016 (dif | hist) . . (+2771) . . N R16 sol (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 (...') (edición actual)
- 11:57 11 may 2016 (dif | hist) . . (0) . . m Relación 16 (Protegió «Relación 16» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 11:57 11 may 2016 (dif | hist) . . (-2) . . Relación 16
- 11:56 11 may 2016 (dif | hist) . . (-18) . . Relación 16
- 11:55 11 may 2016 (dif | hist) . . (+2791) . . 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 ∀y (...')
- 11:54 11 may 2016 (dif | hist) . . (+1057) . . N R15 sol (Página creada con ' === Relación 15: Ejercicios de Lógica proposicional === ---- '''Ejercicio 1.''' Dadas las fórmulas A : (s → p) ∨ (t → q) y B : (s → q) ∨ (t → p), se pide: * Pr...') (edición actual)
- 11:54 11 may 2016 (dif | hist) . . (0) . . m Relación 15 (Protegió «Relación 15» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 11:54 11 may 2016 (dif | hist) . . (-1) . . Relación 15
- 11:53 11 may 2016 (dif | hist) . . (+1057) . . N Relación 15 (Página creada con ' === Relación 15: Ejercicios de Lógica proposicional === ---- '''Ejercicio 1.''' Dadas las fórmulas A : (s → p) ∨ (t → q) y B : (s → q) ∨ (t → p), se pide: * Pr...')
- 11:53 11 may 2016 (dif | hist) . . (+271) . . Lógica matemática y fundamentos (2015-16)
- 14:34 10 may 2016 (dif | hist) . . (+7274) . . N R14 sol (Página creada con '<source lang ="haskell"> -- ResolucionProposicional.hs -- Resolución proposicional. -- --------------------------------------------------------------------- module ResolucionP...') (edición actual)
- 14:34 10 may 2016 (dif | hist) . . (+18 488) . . N R12 sol (Página creada con '<source lang ="haskell"> -- Clausulas.hs -- Cláusulas. -- --------------------------------------------------------------------- module Clausulas where -- --------------------...') (edición actual)
- 14:33 10 may 2016 (dif | hist) . . (+31) . . Lógica matemática y fundamentos (2015-16)
- 14:41 3 may 2016 (dif | hist) . . (+14 841) . . N R11 sol (Página creada con '<source lang = "haskell"> -- FormasNormales.hs -- Formas normales. -- --------------------------------------------------------------------- module FormasNormales where -- ----...') (edición actual)
- 14:41 3 may 2016 (dif | hist) . . (+33) . . Lógica matemática y fundamentos (2015-16)
- 14:39 3 may 2016 (dif | hist) . . (+6056) . . N Relación 14 (Página creada con '<source lang = "haskell"> -- ResolucionProposicional.hs -- Resolución proposicional. -- --------------------------------------------------------------------- module Resolucion...') (edición actual)
- 14:38 3 may 2016 (dif | hist) . . (0) . . N Archivo:ResolucionProposicional.hs (edición actual)
- 14:37 3 may 2016 (dif | hist) . . (0) . . m R13 (Protegió «R13» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 14:37 3 may 2016 (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...') (edición actual)
- 14:37 3 may 2016 (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...')
- 14:36 3 may 2016 (dif | hist) . . (+283) . . Lógica matemática y fundamentos (2015-16)
- 18:27 2 may 2016 (dif | hist) . . (0) . . Relación 9 (edición actual)
- 10:05 29 abr 2016 (dif | hist) . . (+16 498) . . N Relación 12 (Página creada con '<source lang = "haskell"> -- Clausulas.hs -- Cláusulas. -- --------------------------------------------------------------------- module Clausulas where -- -------------------...') (edición actual)
- 10:05 29 abr 2016 (dif | hist) . . (+10 308) . . N Relación 11 (Página creada con '<source lang = "haskell"> -- FormasNormales.hs -- Formas normales. -- --------------------------------------------------------------------- module FormasNormales where -- ----...') (edición actual)
- 10:04 29 abr 2016 (dif | hist) . . (0) . . N Archivo:Clausulas.hs (edición actual)
- 10:04 29 abr 2016 (dif | hist) . . (0) . . N Archivo:FormasNormales.hs (edición actual)
- 09:56 29 abr 2016 (dif | hist) . . (+296) . . Lógica matemática y fundamentos (2015-16)
- 09:16 28 abr 2016 (dif | hist) . . (-1) . . Relación 9
- 08:20 28 abr 2016 (dif | hist) . . (+874) . . N Relación 10 (Página creada con ' === Relación 10: Tableros semánticos en LPO === ---- '''Ejercicio 1.''' Decidir por tableros semánticos, si: ∀x (P(x) → Q(x)) ⊧ (∃x P(x)) → (∃ x Q(x)) ---- ...') (edición actual)
- 08:20 28 abr 2016 (dif | hist) . . (0) . . m R10 (Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 08:20 28 abr 2016 (dif | hist) . . (+874) . . N R10 (Página creada con ' === Relación 10: Tableros semánticos en LPO === ---- '''Ejercicio 1.''' Decidir por tableros semánticos, si: ∀x (P(x) → Q(x)) ⊧ (∃x P(x)) → (∃ x Q(x)) ---- ...')
- 08:19 28 abr 2016 (dif | hist) . . (-2) . . R9 (edición actual)
- 08:19 28 abr 2016 (dif | hist) . . (+894) . . N Relación 9 (Página creada con ' === Relación 9: Cuestiones === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: * Sean G₁ una forma normal disyuntiva de F₁ y G₂ una forma normal...')
- 08:19 28 abr 2016 (dif | hist) . . (0) . . m R9 (Protegió «R9» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:19 28 abr 2016 (dif | hist) . . (+895) . . N R9 (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...')
- 08:18 28 abr 2016 (dif | hist) . . (+232) . . Lógica matemática y fundamentos (2015-16)
- 13:51 21 abr 2016 (dif | hist) . . (+615) . . N Relación 8 (Página creada con ' === Relación 8: Cuestiones sobre tableros semánticos === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: Sea T un tablero de S₁, I un modelo de una ...') (edición actual)
- 13:51 21 abr 2016 (dif | hist) . . (0) . . m R8 (Protegió «R8» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 13:51 21 abr 2016 (dif | hist) . . (+615) . . N R8 (Página creada con ' === Relación 8: Cuestiones sobre tableros semánticos === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: Sea T un tablero de S₁, I un modelo de una ...')
- 13:50 21 abr 2016 (dif | hist) . . (+9362) . . 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> -- ------------------------------------...')
- 13:49 21 abr 2016 (dif | hist) . . (0) . . N Archivo:TablerosSemanticos.hs (edición actual)
- 13:48 21 abr 2016 (dif | hist) . . (-30) . . Lógica matemática y fundamentos (2015-16)
- 13:48 21 abr 2016 (dif | hist) . . (-104) . . R2a sol (edición actual)
- 13:47 21 abr 2016 (dif | hist) . . (+302) . . Lógica matemática y fundamentos (2015-16)
- 12:57 19 abr 2016 (dif | hist) . . (+80) . . R6 (edición actual)
- 12:57 19 abr 2016 (dif | hist) . . (+79) . . Relación 6 (edición actual)
- 08:44 7 abr 2016 (dif | hist) . . (-1) . . Relación 6
- 08:44 7 abr 2016 (dif | hist) . . (+1205) . . 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...')
- 08:44 7 abr 2016 (dif | hist) . . (0) . . m R6 (Protegió «R6» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:44 7 abr 2016 (dif | hist) . . (+1205) . . 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...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).