LMF2018: Presentación del curso de “Lógica matemática y fundamentos”

En la clase de hoy, se ha presentado el curso Lógica matemática y fundamentos siguiendo el plan de la asignatura. Se ha comentado el contenido de la asignatura, el sistema de evaluación y los materiales de la asignatura en la Red:

También se ha comentado el sistema de demostración que se usará a lo largo del curso: Isabelle/HOL y su bibliografía fundamental.

Finalmente, se han comentado en las listas de teoremas enormes y de teoremas incompletos.