Temas de "Lógica matemática y fundamentos (2013-14)"

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" (2013-14) 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 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 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" (2013-14) 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.