En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado cómo definir en Haskell la codificación de mensajes usando el cifrado César.
Los apuntes correspondientes a la clase son los del tema 5
En la clase de hoy del curso de Razonamiento automático se ha presentado la programación funcional en Isabelle/HOL.
La teoría con los ejemplos presentados en la clase es T1_Programacion_funcional_en_Isabelle.thy.
Read More “RA2018: Programación funcional con Isabelle/HOL”
En la sesión de hoy de GAMPUS se han comentado los resultados de la 2ª competición y las soluciones de algunos de sus ejercicios:
Las soluciones de los anteriores ejercicios en Haskell se encuentran en HaskellRank: HackerRank in Haskell.
Para la próxima sesión se ha propuesto resolver los ejercicios de la 3ª competición y escribir las soluciones en la wiki.
Hoy se ha realizado el 1º 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 “I1M2018: 1º examen de programación funcional con Haskell”
Esta entrada es una recopilación de lecturas compartidas, durante octubre de 2018, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
Read More “Resumen de lecturas compartidas durante octubre de 2018”