Día: 2 marzo 2012

En la clase de hoy de Informática de 1º del Grado en Matemáticas 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.

El código correspondiente es
Read More “I1M2011: Un programa en Haskell para decidir tautologías”