Páginas nuevas
- 11:57 11 feb 2014 Relación 1 (hist) [2 bytes] Jalonso (discusión | contribuciones) (Página creada con 'pp')
- 10:01 5 jun 2013 Ejercicio 5 (hist) [716 bytes] Mjoseh (discusión | contribuciones) (Página creada con '== Enunciado == El quinto ejercicio evaluable consiste en realizar dos casos de estudio, las expresiones booleanas y las expresiones condicionales. Concretamente: * Especificac...')
- 11:32 29 may 2013 Relación 14 (hist) [5927 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "Isar"> header {* R14: Razonamiento sobre programas en Isabelle/HOL *} theory R14 imports Main begin text {* ------------------------------------------------...')
- 10:20 22 may 2013 Relación 13 (hist) [5755 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "Isar"> header {* R13: Programación funcional en Isabelle *} theory R13 imports Main begin text {* ------------------------------------------------------------...')
- 10:12 22 may 2013 Tema 15 (hist) [15 075 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = Isar"> header {* Tema 15: Razonamiento sobre programas en Isabelle *} theory T15 imports Main begin text {* En este tema se demuestra con Isabelle las propie...')
- 10:09 22 may 2013 Tema 14 (hist) [9004 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar"> header {* Tema 14: Programación funcional en Isabelle *} theory T14 imports Main begin section {* Introducción *} text {* En este tema se pres...')
- 09:06 21 may 2013 AplicacionesLP (hist) [4744 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- AplicacionesLP.hs -- Aplicaciones de la Lógica proposicional. -- --------------------------------------------------------------------- -- --------...')
- 12:27 15 may 2013 Ejercicio 4 (hist) [1247 bytes] Mjoseh (discusión | contribuciones) (Página creada con 'El cuarto ejercicio evaluable consiste una de las dos opciones que se ofrecen a continuación: 1.- Programación en Haskell de algunos de los refinamientos de resolución en l...')
- 11:05 2 may 2013 Relación 11 (hist) [7649 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- ResolucionProposicional.hs -- Resolución proposicional. -- --------------------------------------------------------------------- module Resolucio...')
- 11:05 2 may 2013 Relación 10 (hist) [18 298 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- Clausulas.hs -- Cláusulas. -- --------------------------------------------------------------------- module Clausulas where -- -------------------...')
- 11:03 2 may 2013 Relación 9 (hist) [12 718 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "haskell"> -- FormasNormales.hs -- Formas normales. -- --------------------------------------------------------------------- module FormasNormales where -- ----...')
- 12:44 26 abr 2013 E3 (hist) [14 532 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar"> header {* E3: Argumentación y Deducción natural en lógica de primer orden *} theory E3 imports Main begin text {* Ej. 1: Los perros lobos y los ter...')
- 11:22 26 abr 2013 Ejercicio 3 (hist) [1956 bytes] Mjoseh (discusión | contribuciones) (Página creada con '== Enunciado == El tercer ejercicio evaluable consiste en la realización de un ejercicio de argumentación en lógica de primer orden, haciendo la demostración por deducción ...')
- 09:38 22 abr 2013 Relación 8 (hist) [11 144 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> -- --------------------------------------...')
- 20:58 9 abr 2013 Relación 7 (hist) [22 610 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="Isar"> header {* R7: Deducción natural en lógica de primer orden con Isabelle/HOL *} theory R7 imports Main begin text {* Demostrar o refutar los siguientes...')
- 20:58 9 abr 2013 Rel 7 (hist) [13 818 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="Isar"> header {* R7: Deducción natural en lógica de primer orden con Isabelle/HOL *} theory R7 imports Main begin text {* Demostrar o refutar los siguientes...')
- 18:17 9 abr 2013 T2 (hist) [4389 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang ="isar"> header {* T2: Deducción natural en lógica de primer orden *} theory T2 imports Main begin lemma ej_1: assumes "∀x. P(x) ⟶ Q(x)" "∀...')
- 17:45 9 abr 2013 Ejercicio 2 (hist) [1865 bytes] Mjoseh (discusión | contribuciones) (Página creada con '== Enunciado == El segundo ejercicio evaluable consiste en la realización de una demostración por deducción natural en la Lógica de primer orden, con Isabelle/HOl. Para ello...')
- 17:47 1 abr 2013 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...')
- 07:50 19 mar 2013 Relación 6 (hist) [57 462 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> text {* --------------------------------------------------------------------- El objetivo de esta relación es formalizar en lógica de primer orden ...')
- 07:47 19 mar 2013 Rel 6 (hist) [23 653 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> text {* --------------------------------------------------------------------- El objetivo de esta relación es formalizar en lógica de primer orden ...')
- 07:31 19 mar 2013 Relación 5 (hist) [5371 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* R5: Eliminación de conectivas *} theory R5 imports Main begin text {* --------------------------------------------------------------------- ...')
- 07:30 19 mar 2013 Rel 5 (hist) [1759 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* T3R3: Eliminación de conectivas *} theory T3R3 imports Main begin text {* ------------------------------------------------------------------...')
- 20:21 18 mar 2013 Relación 4 (hist) [13 862 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* R4: Argumentación proposicional *} theory R4 imports Main begin text {* --------------------------------------------------------------------...')
- 20:20 18 mar 2013 Rel 4 (hist) [8503 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* R4: Argumentación proposicional *} theory R4 imports Main begin text {* --------------------------------------------------------------------...')