Lógica matemática y fundamentos (2017-18)

Este curso ofrece una introducción a los fundamentos de la lógica, estructurándose en dos grandes bloques. Se comienza con la lógica proposicional, explorando su sintaxis y semántica para luego profundizar en diversos métodos de demostración como la deducción natural —reforzada con prácticas en Isabelle/HOL—, los tableros semánticos y la resolución, abarcando también las formas normales y los algoritmos para SAT. Posteriormente, el curso avanza hacia la lógica de primer orden, donde se abordan su sintaxis, semántica y las técnicas de razonamiento correspondientes, como la deducción natural —cuya aplicación práctica también se estudiará con Isabelle/HOL—, los tableros semánticos, los modelos de Herbrand, la skolemización y la resolución.

El curso es una asignatura del tercer año del Grado en Matemáticas de la Universidad de Sevilla.

Temas

Ejercicios

Libros con los temas, ejercicios y exámenes

Bibliografía


José A. Alonso Jiménez
Sevilla, 04 de julio del 2025
Licencia: Creative Commons.