I1M2010: Un calculador de tautologías en Haskell como caso de estudio de tipos de datos definidos
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado una aplicación de la definición de tipos. Concretamente, se ha estudiado cómo definir el tipo de las fórmulas proposicionales y, trabajando con dicho tipo, construir un programa para determinar si una fórmula es una tautología.
Las transparencias usadas en la clase son las del tema 9 (páginas 25-33):