Páginas nuevas
- 21:06 31 ene 2012 Tema 12: Conjuntos, funciones y relaciones (hist) [18 466 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Tema 12: Conjuntos, funciones y relaciones *} theory Tema_12 imports Main begin section {* Conjuntos *} subsection {* Operaciones con conjunto...')
- 21:05 31 ene 2012 Tema 11: Caso de estudio: Compilación de expresiones (hist) [7923 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Tema 11: Caso de estudio: Compilación de expresiones *} theory Tema_11 imports Main begin text {* El objetivo de este tema es contruir un com...')
- 17:28 31 ene 2012 Tema 10: Heurísticas para la inducción y recursión general (hist) [9530 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Tema 10: Heurísticas para la inducción y recursión general *} theory Tema_10 imports Main Tema_7 Efficient_Nat begin section {* Heurísticas ...')
- 15:07 31 ene 2012 Tema 9: Patrones de demostración (hist) [3494 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Tema 9: Patrones de demostración *} theory Tema_9 imports Main begin section {* Demostraciones por casos *} text {* Nota. [Regla de elimina...')
- 13:11 31 ene 2012 Tema 8: Distinción de casos e inducción (hist) [10 723 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Tema 8: Distinción de casos e inducción *} theory Tema_8 imports Main Parity begin section {* Razonamiento por distinción de casos *} subsec...')
- 11:45 31 ene 2012 Tema 7: El lenguaje de demostración Isar (hist) [11 400 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* El lenguaje de demostración Isar *} theory Tema_7 imports Main begin text {* Este tema describe los elementos básicos del lenguaje de demost...')
- 16:54 19 ene 2012 Tema 6: Isabelle como un lenguaje funcional (hist) [10 201 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isabelle"> header {* Tema 6: Isabelle como un lenguaje funcional *} theory Tema_6 imports Main begin section {* Introducción *} text {* Esta notas son una in...')
- 15:33 14 abr 2011 Ejercicios del tema 4 (hist) [3371 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang="isar"> theory Relacion_10 imports Main begin section {* Deducción natural de primer orden *} text {* Los ejercicios de esta relación deben de resolverse usan...')
- 15:33 14 abr 2011 Tema 4 ej (hist) [3375 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang="isar"> theory Relacion_10 imports Main begin section {* Deducción natural de primer orden *} text {* Los ejercicios de esta relación deben de resolverse usan...')
- 15:26 14 abr 2011 Tema 4: Deducción natural en lógica de primer orden con Isabelle (hist) [10 386 bytes] Mjoseh (discusión | contribuciones) (Página creada con 'header {* Deducción natural en la lógica de primer orden *} theory LogicaDePrimerOrdenEj imports Main begin text {* En esta teoría se presentan los ejemplos del tema de...')
- 13:48 29 mar 2011 Ejercicios del tema 3 (hist) [4263 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source language="isar"> header {* Deducción natural proposicional *} theory Tema_3_ej imports Main begin text {* Los ejercicios de esta relación deben de resolverse usand...')
- 13:46 29 mar 2011 Tema 3 ej (hist) [4267 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Deducción natural proposicional *} theory Tema_3_ej imports Main begin text {* Los ejercicios de esta relación deben de resolverse usando s...')
- 13:24 29 mar 2011 Tema 3: Deducción lógica proposicional con Isabelle (hist) [12 589 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Deducción natural proposicional *} theory Tema_3 imports Main begin text {* En esta teoría se presentan los ejemplos del tema de deducción...')
- 23:58 1 mar 2011 Relación 1 (hist) [4968 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Razonamiento en Isabelle sobre programas *} theory Relacion_1 imports Main Efficient_Nat begin text {* -----------------------------------------...')
- 23:57 1 mar 2011 Ejercicios (hist) [319 bytes] Jalonso (discusión | contribuciones) (Página creada con '= Ejercicios = * '''Relación 1:''' Razonamiento sobre programas (Enunciado y Solución colaborativa).')
- 23:57 1 mar 2011 Temas (hist) [285 bytes] Jalonso (discusión | contribuciones) (Página creada con '* Tema 1: Isabelle como un lenguaje funcional. * Tema 2: Razonamiento sobre programas.')
- 23:50 1 mar 2011 Rel 1 (hist) [4013 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Razonamiento en Isabelle sobre programas *} theory Relacion_1_sol imports Main Efficient_Nat begin text {* -------------------------------------...')
- 23:42 1 mar 2011 Tema 2: Razonamiento sobre programas (hist) [9941 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source> header {* Razonamiento sobre programas en Isabelle *} theory Tema_2 imports Main Efficient_Nat begin text {* En este tema se demuestra con Isabelle las propiedades...')
- 23:32 1 mar 2011 Tema 1: Isabelle como un lenguaje funcional (hist) [9266 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Isabelle como un lenguaje funcional *} theory Tema_1 imports Main Efficient_Nat begin section {* Introducción *} text {* Esta notas son una i...')
- 23:25 1 mar 2011 DAO2011 (Demostración asistida por ordenador) (hist) [1478 bytes] Jalonso (discusión | contribuciones) (Página creada con 'Esta es la inicial.')