En la primera parte de 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 39 sobre demostración de propiedades por inducción sobre números y listas
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Demostración de propiedades por inducción sobre números y listas”
En la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos estudiado el tipo abstracto de datos de los grafos y dos de sus implementaciones en Haskell: mediante vectores y matrices de adyacencia.
Además, hemos estudiado los algoritmos de recorrido de los grafos en profundidad y en anchura.
Las transparencias usadas en la clase son las páginas 1-39 del tema 22:
Read More “I1M2014: El tipo abstracto de datos de grafos en Haskell”
En la clase de hoy del curso de Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) se ha comentado las soluciones de los ejercicios sobre la implementación en Haskell de la sintaxis y la semántica de la lógica proposicional
Las soluciones de los ejercicios se muestran a continuación.
Read More “LMF2015: Sintaxis y semántica de la lógica proposicional en Haskell”
Se ha publicado un artículo de razonamiento formalizado en Agda titulado Relative monads formalised
Sus autores son
Su resumen es
Relative monads are a generalisation of ordinary monads where the underlying functor need not be an endofunctor. In this paper, we describe a formalisation of the basic theory of relative monads in the interactive theorem prover and dependently typed programming language Agda. The formalisation comprises the requisite basic category theory, the central concepts of the theory of relative monads and adjunctions, which are compared to their ordinary counterparts, and two running examples from programming theory.
El trabajo se ha publicado en el Journal of Fromalized Reasoning.
El código de las correspondientes teorías en Agda se encuentra aquí.
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 curso 30 de noviembre de 2009 al 5 de diciembre de 2014.
Tras la ampliación, el libro contiene 113 exámenes y 713 ejercicios.
Este libro es el complemento de los anteriores: