Temas de "Lógica matemática y fundamentos (2019-20)"

En esta página se encuentra el material (apuntes, transparencias y teorías) del curso Lógica matemática y fundamentos.

En Temas de "Lógica matemática y fundamentos" (2019-20) se encuentran las transparencias de los 4 primeros temas el curso en forma de libro.

Tema 1: Sintaxis y semántica de la lógica proposicional (PDF)
Tema 2: Deducción natural proposicional. (PDF, Teoría Isabelle/HOL y Vídeo).
Tema 3: Sintaxis y semántica de la lógica de primer orden. (PDF)
Tema 4: Deducción natural en lógica de primer orden. (PDF, Teoría Isabelle/HOL, Vídeo 1 y Vídeo 2).
Tema 5: Programación funcional en Isabelle/HOL. (Teoría Isabelle/HOL y Vídeo)
Tema 6: Razonamiento sobre programas. (PDF y Teoría Isabelle/HOL, Vídeo 1 y Vídeo 2 ).
Tema 7: Razonamiento por casos y por inducción. (Teoría Isabelle/HOL y Vídeo).
Tema 8: Razonamiento sobre árboles y bosques. (Teoría Isabelle/HOL, Vídeo 1 y Vídeo 2).
Tema 9: Definiciones inductivas. (Teoría Isabelle/HOL y Vídeo).
Tema 10: Conjuntos, funciones y relaciones. (Teoría Isabelle/HOL).
Tema 11: Desarrollo de teorías formalizadas con Isabelle/HOL. (Teoría Isabelle/HOL, Vídeo 1 y Vídeo 2).