En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo se definen en Haskell las clases y sus instancias.
Los apuntes correspondientes a la clase son los del tema 9
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo construir un programa para determinar si una fórmula es una tautología.
Para ello se consideran las siguientes fases:
Los apuntes correspondientes a la clase son
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.
Esta entrada es una recopilación de lecturas compartidas, durante noviembre de 2019, 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 noviembre de 2019”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha presentado una introducción a la programación con Python.
En la presentación se ha seguido el siguiente guión:
En la presentación se han usado ejemplos anteriormente estudiados con Haskell. Se ha remarcado la analogías y diferencias entre Haskell y Python.
Finalmente, se ha definido la función de Takeuchi en Python y en Haskell
y se ha comparado la eficiencia.
El cuaderno de la presentación se encuentra Binder.
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los ejercicios de la relación 9 sobre árboles binarios definidos como tipo de dato algebraico.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2019: Ejercicios sobre árboles binarios en Haskell”