Páginas nuevas
- 19:53 3 jun 2015 Ejercicio 5 (b) (hist) [2614 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar> header {* Examen de Lógica Matemática y Fundamentos (6 de abril de 2015) *} theory e5_2_sol imports Main begin text {* Apellidos: Nombre: *} text...')
- 19:49 3 jun 2015 Ejercicio 5 (a) (hist) [2405 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Examen de Lógica Matemática y Fundamentos (6 de abril de 2015) *} theory e5_1_sol imports Main begin text {* Apellidos: Nombre: *} tex...')
- 19:48 3 jun 2015 Ejercicio 4 (b) (hist) [4902 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="haskell"> -- --------------------------------------------------------------------- -- Gramática de fórmulas prosicionales -- -- --...')
- 19:46 3 jun 2015 Ejercicio 4 (a) (hist) [4965 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="haskell"> -- --------------------------------------------------------------------- -- Gramática de fórmulas prosicionales -- -- -...')
- 09:43 22 may 2015 Relación 16 (hist) [2797 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 ∀...')
- 09:37 22 may 2015 R16 (hist) [2768 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 (...')
- 18:04 18 may 2015 R12 sol (hist) [7364 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- ResolucionProposicional.hs -- Resolución proposicional. -- --------------------------------------------------------------------- module Resolucion...')
- 18:01 18 may 2015 R7 sol (hist) [11 249 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- TablerosSemánticos.hs -- Tableros semánticos proposicionales. -- --------------------------------------------------------------------- module Tab...')
- 17:59 18 may 2015 R2a sol (hist) [16 082 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- SintaxisSemanticaProp.hs -- Lógica proposicional: Sintaxis y semántica -- --------------------------------------------------------------------- m...')
- 13:43 15 may 2015 Relación 15 (hist) [871 bytes] Mjoseh (discusión | contribuciones) (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 R15 (hist) [871 bytes] Mjoseh (discusión | contribuciones) (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)) ---- ...')
- 14:34 11 may 2015 R14 (hist) [2370 bytes] Mjoseh (discusión | contribuciones) (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:33 11 may 2015 Relación 14 (hist) [2369 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar"< </source>')
- 17:32 10 may 2015 Relación 13 (hist) [659 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...')
- 17:31 10 may 2015 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...')
- 12:24 29 abr 2015 Relación 12 (hist) [7769 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- ResolucionProposicional.hs -- Resolución proposicional. -- --------------------------------------------------------------------- module Resolucion...')
- 12:24 29 abr 2015 Relación 11 (hist) [19 231 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- Clausulas.hs -- Cláusulas. -- --------------------------------------------------------------------- module Clausulas where -- -------------------...')
- 12:22 29 abr 2015 Una solución (hist) [14 841 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- FormasNormales.hs -- Formas normales. -- --------------------------------------------------------------------- module FormasNormales where -- ----...')
- 10:43 17 abr 2015 Relación 10 (hist) [894 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 normal...')
- 10:42 17 abr 2015 R10 (hist) [894 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...')
- 10:03 17 abr 2015 Relación 9 (hist) [13 524 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- FormasNormales.hs -- Formas normales. -- --------------------------------------------------------------------- module FormasNormales where -- ----...')
- 17:16 8 abr 2015 Relación 8 (hist) [615 bytes] Mjoseh (discusión | contribuciones) (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 R8 (hist) [615 bytes] Mjoseh (discusión | contribuciones) (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:05 8 abr 2015 Relación 7 (hist) [14 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> -- -------------------------------------...')
- 12:17 5 abr 2015 Relación 5 (resuelta) (hist) [31 691 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar"> header {* R5: Argumentación en lógica de primer orden *} theory R5_sol imports Main begin text {* -------------------------------------------------...')
- 14:19 19 mar 2015 Relación 6 (hist) [2151 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...')
- 14:18 19 mar 2015 R6 (hist) [1206 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...')
- 12:36 19 mar 2015 Tema 8 (hist) [16 047 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="Isar"> header {* Tema 8: Deducción natural en lógica de primer orden *} theory Tema8 imports Main begin text {* El objetivo de este tema es presentar la ded...')
- 22:10 18 mar 2015 Relación 5 (hist) [28 364 bytes] Mjoseh (discusión | contribuciones) (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:02 18 mar 2015 Rel 5 (hist) [23 752 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 {* -----------------------------------------------------...')
- 22:00 18 mar 2015 Relación 4 (hist) [25 441 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 reg...')
- 21:59 18 mar 2015 Rel 4 (hist) [13 909 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 reg...')
- 18:27 5 mar 2015 Relación 3 (hist) [36 771 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar"> header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* --------------------------------------------------------------...')
- 18:27 5 mar 2015 Rel 3 (hist) [17 717 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar"> header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* --------------------------------------------------------------...')
- 09:38 5 mar 2015 Tema 2 (hist) [25 130 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Tema 2: Deducción natural proposicional con Isabelle/HOL *} theory T2 imports Main begin text {* En este tema se presentan los ejemplos del ...')
- 11:39 18 feb 2015 Relación 2b (hist) [6988 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,...')
- 10:50 18 feb 2015 R2b (hist) [1790 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...')
- 11:37 13 feb 2015 Relación 2a (hist) [20 368 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> -- ----------------------------...')
- 13:51 9 feb 2015 Relación 2 (hist) [8932 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 2: Representación del conocimiento proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x es divisi...')
- 13:49 9 feb 2015 R2 (hist) [3300 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 1: Representación del conocimiento proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x es divisi...')
- 13:19 9 feb 2015 Relación 1 (hist) [25 839 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- LMF 2014-15: Rel_1.hs (9 de Febrero de 2015) -- Introducción a la programación con Haskell. -- Departamento de Ciencias de la Computación e I.A. ...')
- 13:11 7 feb 2015 Lógica matemática y fundamentos (2014-15) (hist) [2252 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.')