LMF2013: Formas normales conjuntivas y disyuntivas en Haskell
En la clase de hoy del curso de Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) se ha comentado las soluciones de los ejercicios sobre la implementación en Haskell de las formas conjuntivas y disyuntivas.
Las soluciones de los ejercicios se muestran a continuación. En los ejercicios se usa el módulo SintaxisSemantica desarrollado en la clase del día 27 de febrero.
Read More “LMF2013: Formas normales conjuntivas y disyuntivas en Haskell”