Temas
De Lógica matemática y fundamentos (2018-19)
Revisión del 10:43 13 may 2019 de Jalonso (discusión | contribuciones)
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.