Libro de exámenes de programación funcional con Haskell (versión del 27 de noviembre de 2016)

PorJosé A. Alonso

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:

Los códigos del libro están disponibles en Github https://github.com/jaalonso/Examenes_de_PF_con_Haskell.

RA2016: Funciones recursivas generales en Isabelle/HOL

PorJosé A. Alonso

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”