Temas de "Lógica matemática y fundamentos (2017-18)"
En esta página se encuentra el material (transparencias y ejercicios) del curso Lógica matemática y fundamentos.
Transparencias de todos los temas
- En Temas de "Lógica matemática y fundamentos" (2017-18) se encuentran las transparencias de todo el curso en forma de libro.
Transparencias por tema
- Lógica proposicional:
- Tema 1: Sintaxis y semántica de la lógica proposicional. (Tipos de problemas).
- Tema 2: Deducción natural proposicional. (Tipos de problemas).
- Tema 2a: Deducción natural proposicional con Isabelle/HOL.
- Tema 3: Tableros semánticos proposicionales. (Tipos de problemas).
- Tema 4: Formas normales. (Tipos de problemas).
- Tema 5: Resolución proposicional. (Tipos de problemas).
- Tema 6: Algoritmos para SAT. Aplicaciones. (Códigos).
- Lógica de primer orden:
- Tema 7: Sintaxis y semántica de la lógica de primer orden.
- Tema 8: Deducción natural en lógica de primer orden.
- Tema 8a: Deducción natural en lógica de primer orden con Isabelle/HOL.
- Tema 9: Tableros semánticos en lógica de primer orden.
- Tema 10: Formas normales de Skolem y cláusulas.
- Tema 11: Modelos de Herbrand.
- Tema 12: Resolución en lógica de primer orden.
Ejercicios
- En Ejercicios de "Lógica matemática y fundamentos" (2017-18) se encuentran los ejercicios de todo el curso en forma de libro.
- En ej-argumentacion.pdf se encuentran los ejercicios de formalización de argumentos.