Lógica matemática y fundamentos (2018-19)

Este curso ofrece una introducción teórica y práctica a la lógica matemática y la programación funcional, centrándose en la sintaxis y semántica de la lógica proposicional y de primer orden, la deducción natural (tanto en su forma tradicional como implementada en Isabelle/HOL, incluyendo métodos basados en tácticas), la programación funcional en Isabelle/HOL, el razonamiento sobre programas, técnicas de inducción, estructuras como árboles y bosques, definiciones inductivas, y el manejo de conjuntos, funciones y relaciones. Además, se incluyen ejercicios prácticos para cada tema, permitiendo aplicar los conceptos teóricos mediante relaciones de problemas que abordan desde la lógica básica hasta el desarrollo de teorías formalizadas con Isabelle/HOL.

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