Profesores Javier Blanco Damian Barsotti Martín Domínguez

La materia cuenta con un teórico y un laboratorio.

La materia tiene un apunte con los contenidos que se dan en la materia.

Todos los contenidos del apunte se dan menos el capitulo 16 (Conjuntos y Listas). Esto incluye:

• Cálculo proposicional y lógica de primer orden adaptados para la programación (cuantificadores generalizados).
• Creación de especificaciones en esta lógica.
• Derivación y verificación de programas funcionales en esta lógica.
• Programación imperativa:
  • Derivación a la Dijkstra (búsqueda de invariantes).
  • Derivación a partir de funciones recursivas finales.

Todo lo escrito en el tutorial de Linux.

Se enseña de Haskell solo lo necesario para programar los contenidos del teórico. Esto incluye:

• Funciones recursivas.
• Definición de funciones con guardas y patterns.
• Definiciones locales.
• Tipos aritméticos, caracteres y listas.
• creacion de tipos nuevos con data.
• Definición de operadores.