LI2014: Sintaxis de la lógica proposicional
La clase de hoy del curso Lógica Informática ha tenido dos partes.
En la primera parte se ha presentado un panorama de la lógica y sus aplicaciones a la informática. Como ejemplo de aplicación se ha mostrado cómo se puede generar automáticamente programas usando MagicHaskeller.
En la segunda parte se ha explicado la sintaxis de la lógica proposicional insistiendo en el carácter inductivo del tipo de datos de las fórmulas proposicionales, del procedimiento de definiciones por recursión sobre las fórmulas y de demostración de propiedades por inducción sobre las fórmulas.
Como tarea se ha propuesto resolver de los ejercicios de la 1ª relación.
Las transparencias de esta clase son las páginas 1-13 del tema 1