Lógica en Haskell
En la entrada curso de lógica informática publiqué los apuntes del curso.
Como se ha podido observar por los apuntes, en el curso se introduce la lógica de forma algorítmica presentando la especificación de distintos procedimientos lógicos.
En Lógica en Haskell se presenta los programas en Haskell de las especificaciones del curso.