Diferencia entre revisiones de «Temas»
De Lógica matemática y fundamentos (2018-19)
| Línea 16: | Línea 16: | ||
* Tema 9: [[Definiciones inductivas]]. | * Tema 9: [[Definiciones inductivas]]. | ||
* Tema 10: [[Conjuntos, funciones y relaciones]]. | * Tema 10: [[Conjuntos, funciones y relaciones]]. | ||
| − | * Tema 11: [[Desarrollo de | + | * Tema 11: [[Desarrollo de teorías formalizadas con Isabelle/HOL]]. |
Revisión del 10:43 13 may 2019
En esta página se encuentra el material (transparencias y teorías) del curso Lógica matemática y fundamentos.
- Tema 1: Sintaxis y semántica de la lógica proposicional.
- Tema 2: Deducción natural proposicional.
- Tema 2a: Deducción natural proposicional con Isabelle/HOL.
- Tema 2b: Deducción natural proposicional con Isabelle/HOL basada en tácticas.
- Tema 3: Sintaxis y semántica de la lógica de primer orden.
- Tema 4: Deducción natural en lógica de primer orden.
- Tema 4a: Deducción natural en lógica de primer orden con Isabelle/HOL.
- Tema 4b: Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas.
- Tema 5: Programación funcional en Isabelle/HOL.
- Tema 6: Razonamiento sobre programas.
- Tema 6a: Razonamiento sobre programas en Isabelle/HOL.
- Tema 7: Razonamiento por casos y por inducci¢n.
- Tema 8: Razonamiento sobre árboles y bosques.
- Tema 9: Definiciones inductivas.
- Tema 10: Conjuntos, funciones y relaciones.
- Tema 11: Desarrollo de teorías formalizadas con Isabelle/HOL.