Tema 2: Introducción a la programación con Haskell
Tema 9: Declaraciones de tipos y clases en Haskell
LMF-T3: Tableros semánticos
Tema 6: Definiciones por recursión en Haskell
Tema 1: Introducción a la programación funcional.
LI2011-T11: Resolución en lógica de primer orden
Tema 11: Aplicaciones de la programación funcional con Haskell
Tema 7: Funciones de orden superior en Haskell
LI2011-T3: Tableros semánticos proposicionales
LIT4: Formales normales conjuntivas y disyuntivas
LMF-T5b: Aplicaciones de la lógica proposicional
LI2011-T9: Formas normales de Skolem y cláusulas
LI-T6: Sintaxis y semántica de la lógica de primer orden
I1M2010-T23: Técnicas de diseño descendente de algoritmos.
LI2011-T1: Sintaxis y semántica de la lógica proposicional
I1M2011-T4: Definición de funciones en Haskell
Tema 3: Tipos y clases en Haskell
I1M2010-T22: Algoritmos sobre grafos en Haskell
LI2011-T7: Deducción natural en lógica de primer orden
LMF-T1: Sintaxis y semántica de la lógica proposicional