Hoy se ha realizado el 2º examen del curso de Informática (de 1º de Grado en Matemáticas). Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2017: 2º examen de programación funcional con Haskell”
En 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:
Los apuntes correspondientes a la clase son
El código correspondiente es
Read More “I1M2017: Programa en Haskell para reconocer tautologías”
En la clase de hoy del curso de Razonamiento automático se ha presentado cómo se puede demostrar propiedades de programas funcionales con Isabelle/HOL.
Para ello, se ha visto cómo representar en Isabelle/HOL las demostraciones de propiedades de programas estudiadas en el tema 8 del curso de Informática.
Los métodos de demostración utilizados son razonamiento ecuacional, inducción sobre los números naturales, inducción sobre listas e inducción sobre esquemas correspondientes a definiciones recursivas.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “RA2017: Razonamiento estructurado sobre programas con Isabelle/HOL”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los 3 primeros ejercicios de la relación 9 sobre tipos de dato algebraico.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2017: Ejercicios de tipos de datos algebraicos en Haskell (1)”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los ejercicios 4 a 7 de la relación 8 sobre árboles binarios definidos como tipo de dato algebraico.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2017: Ejercicios sobre árboles binarios en Haskell (2)”