LI2014: Tipos de problemas y su implementación en Haskell
En la primera parte de la clase de hoy del curso [Lógica Informática]http://www.cs.us.es/~jalonso/cursos/li-14) hemos comentado los tipos de problemas que se pueden resolver en los temas de lógica proposicional que hemos estudiado. En concreto,
- Sintaxis y semántica de la lógica proposicional.
- Deducción natural proposicional.
- Tableros semánticos proposicionales.
- Formas normales.
- Resolución proposicional.
En la segunda parte, hemos visto cómo se pueden definir en Haskell la funciones correspondientes a las soluciones de algunos de dichos problemas. En concreto, hemos comentado las definiciones correspondientes a las 20 primeras páginas del libro Lógica en Haskell.