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.
Apuntes
- 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.
Transparencias y teorÃas
- 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).