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:
- la página de la asignatura,
- las transparencias de los temas.
- el libro con los apuntes de los 4 primeros temas y
- el libro con los enunciados de los ejercicios.
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.