Páginas nuevas
- 11:57 11 may 2016 R16 sol (hist) [2771 bytes] Mjoseh (discusión | contribuciones) (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:55 11 may 2016 Relación 16 (hist) [2771 bytes] Mjoseh (discusión | contribuciones) (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 R15 sol (hist) [1057 bytes] Mjoseh (discusión | contribuciones) (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 Relación 15 (hist) [1056 bytes] Mjoseh (discusión | contribuciones) (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...')
- 14:34 10 may 2016 R14 sol (hist) [7274 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang ="haskell"> -- ResolucionProposicional.hs -- Resolución proposicional. -- --------------------------------------------------------------------- module ResolucionP...')
- 14:34 10 may 2016 R12 sol (hist) [18 488 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang ="haskell"> -- Clausulas.hs -- Cláusulas. -- --------------------------------------------------------------------- module Clausulas where -- --------------------...')
- 14:41 3 may 2016 R11 sol (hist) [14 841 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- FormasNormales.hs -- Formas normales. -- --------------------------------------------------------------------- module FormasNormales where -- ----...')
- 14:39 3 may 2016 Relación 14 (hist) [6056 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- ResolucionProposicional.hs -- Resolución proposicional. -- --------------------------------------------------------------------- module Resolucion...')
- 14:37 3 may 2016 Relación 13 (hist) [661 bytes] Mjoseh (discusión | contribuciones) (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:37 3 may 2016 R13 (hist) [661 bytes] Mjoseh (discusión | contribuciones) (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...')
- 10:05 29 abr 2016 Relación 12 (hist) [16 498 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- Clausulas.hs -- Cláusulas. -- --------------------------------------------------------------------- module Clausulas where -- -------------------...')
- 10:05 29 abr 2016 Relación 11 (hist) [10 308 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- FormasNormales.hs -- Formas normales. -- --------------------------------------------------------------------- module FormasNormales where -- ----...')
- 08:20 28 abr 2016 Relación 10 (hist) [874 bytes] Mjoseh (discusión | contribuciones) (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:20 28 abr 2016 R10 (hist) [874 bytes] Mjoseh (discusión | contribuciones) (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 Relación 9 (hist) [893 bytes] Mjoseh (discusión | contribuciones) (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 R9 (hist) [893 bytes] Mjoseh (discusión | contribuciones) (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...')
- 13:51 21 abr 2016 Relación 8 (hist) [615 bytes] Mjoseh (discusión | contribuciones) (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:51 21 abr 2016 R8 (hist) [615 bytes] Mjoseh (discusión | contribuciones) (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 Relación 7 (hist) [11 118 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- TablerosSemánticos.hs -- Tableros semánticos proposicionales. -- José A. Alonso Jiménez <jalonso@us.es> -- ------------------------------------...')
- 08:44 7 abr 2016 Relación 6 (hist) [2255 bytes] Mjoseh (discusión | contribuciones) (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 R6 (hist) [1285 bytes] Mjoseh (discusión | contribuciones) (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...')
- 20:45 6 abr 2016 Relación 5 (hist) [10 062 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "Isar"> header {* R5: Argumentación en lógica de primer orden *} theory R5 imports Main begin text {* -----------------------------------------------------...')
- 20:44 6 abr 2016 Rel 5 (hist) [6565 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "Isar"> header {* R5: Argumentación en lógica de primer orden *} theory R5 imports Main begin text {* -----------------------------------------------------...')
- 10:03 1 abr 2016 Relación 4 (hist) [33 612 bytes] Mjoseh (discusión | contribuciones) (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 re...')
- 10:03 1 abr 2016 Rel 4 (hist) [13 910 bytes] Mjoseh (discusión | contribuciones) (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 re...')
- 12:40 8 mar 2016 R2a sol (hist) [16 241 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<sourca lang="haskell"> -- SintaxisSemanticaProp.hs -- Lógica proposicional: Sintaxis y semántica -- --------------------------------------------------------------------- mod...')
- 13:50 1 mar 2016 Relación 3 (hist) [47 358 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar">header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* ---------------------------------------------------------------...')
- 13:49 1 mar 2016 Rel 3 (hist) [17 716 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar"> header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* --------------------------------------------------------------...')
- 12:09 23 feb 2016 Relación 2b (hist) [3690 bytes] Mjoseh (discusión | contribuciones) (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,...')
- 12:07 23 feb 2016 R2b (hist) [1797 bytes] Mjoseh (discusión | contribuciones) (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...')
- 12:02 23 feb 2016 Relación 2a (hist) [20 091 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- SintaxisSemanticaProp.hs -- Lógica proposicional: Sintaxis y semántica -- José A. Alonso Jiménez <jalonso@us.es> -- ---------------------------...')
- 14:11 16 feb 2016 Relación 2 (hist) [7480 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 1(b): Representación del conocimiento proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x es div...')
- 14:10 16 feb 2016 R2 (hist) [3303 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 1(b): Representación del conocimiento proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x es div...')
- 14:10 16 feb 2016 Relación 1 (hist) [21 156 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- LMF 2015-16: Rel_1.hs -- Introducción a la programación con Haskell. -- Departamento de Ciencias de la Computación e I.A. -- Universidad de Sevi...')
- 13:39 16 feb 2016 Lógica matemática y fundamentos (2015-16) (hist) [1745 bytes] WikiSysop (discusión | contribuciones) (Página creada con '== Relaciones de ejercicios == En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas. * '''Relación 1(a)''': Iniciación a la programació...')