En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo construir un programa para determinar si una fórmula es una tautología.

Para ello se consideran las siguientes fases:

1. definir un tipo de dato algebraico para las fórmulas proposicionales,
2. definir un tipo de dato para las interpretaciones,
3. definir una función para calcular los valores de las fórmulas en las interpretaciones
4. definir una función para generar todas las posibles interpretaciones de una fórmula y
5. definir una función que para decidir si una fórmula es tautología (es decir, su valor es verdadero en todas sus interpretaciones).

Los apuntes correspondientes a la clase son

El código correspondiente es
Read More “I1M2018: Programa en Haskell para reconocer tautologías”

En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los primeros ejercicios de la relación 7 sobre funciones de orden superior.

Los ejercicios y su solución se muestran a continuación
Read More “I1M2018: Ejercicios de funciones de orden superior”