En la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado cómo demostrar por casos o por inducción propiedade de programas funcionales con Isabelle/HOL.
La teoría correspondiente es
Read More “LMF2014: Razonamiento por casos y por inducción en Isabelle/HOL”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha explicado cómo programar dibujos en Haskell usando la librería Gloss.
En primer lugar se ha explicado el tipo algebraico de datos de los dibujos: los componentes básicos (líneas, polígonos y textos), las listas de dibujos, las transformaciones geométricas (translaciones, giros y escalado) y el coloreado.
A continuación se han presentado las figuras básicas, la programación de dibujo con lista de comprensión y, finalmente, ejemplos de diseños descendentes de dibujos.
Los apuntes y código del tema se encuentran aquí.
Esta entrada es una recopilación de lecturas compartidas esta semana (del 10 al 17 de mayo) en la lista de correo del Grupo de lógica computacional
La recopilación está ordenada por la fecha de su publicación en Twitter. Al final de cada artículo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.
En la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se ha realizado el 5º examen del curso.
Las soluciones de los ejercicios del examen son
Read More “IM2013: 5º examen de programación con Haskell”
En la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado cóm escribir programas funcionales y cómo demostrar sus propiedades con Isabelle/HOL.
En la presentación se han usado los ejemplos del tema 8 del curso de Informática (de 1º del Grado en Matemáticas).
La teoría correspondiente es
Read More “LMF2014: Razonamiento sobre programas con Isabelle/HOL”