I1M2016: 2º examen de programación con Haskell
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.
Libro de exámenes de programación funcional con Haskell (versión del 27 de noviembre de 2016)
He actualizado el libro Exámenes de programación funcional con Haskell. El libro es una recopilación de los exámenes de la asignatura de Informática (de primero del Grado en Matemáticas) desde el 2009-10 al actual.
Tras la ampliación, el libro contiene 181 exámenes con 1.052 ejercicios.
Este libro es el complemento de los anteriores:
- Temas de programación funcional con Haskell y
- Piensa en Haskell (Ejercicios de programación funcional con Haskell).
Los códigos del libro están disponibles en Github https://github.com/jaalonso/Examenes_de_PF_con_Haskell.
I1M2016: Ejercicios de tipos de datos algebraicos en Haskell
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 10 sobre tipos de dato algebraico.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2016: Ejercicios de tipos de datos algebraicos en Haskell”
RA2016: Funciones recursivas generales en Isabelle/HOL
En la segunda parte de la clase de hoy del curso de Razonamiento automático se ha estudiado cómo definir en Isabelle/HOL funciones recursivas que no son primitiva recursiva y cómo demostrar propiedades de dichas funciones. Como ejemplo, se ha usado la función de Ackerman.
La teoría con las soluciones de los ejercicios es la siguiente
Read More “RA2016: Funciones recursivas generales en Isabelle/HOL”
RA2016: Ejercicios de cuantificadores sobre listas en Isabelle/HOL
En la primera parte de la clase de hoy del curso de Razonamiento automático se han comentado las soluciones de la 4ª relación de ejercicios sobre cuantificadores sobre listas en Isabelle/HOL.
La teoría con las soluciones de los ejercicios es la siguiente
Read More “RA2016: Ejercicios de cuantificadores sobre listas en Isabelle/HOL”