En esta relación se definen funciones que enumeran el conjunto de los pares de números naturales; es decir, funciones biyectivas 
Las definiciones de las funciones se hacen por comprensión y recursión. La propiedad biyectiva se comprueba mostrando que 
Read More “Enumeración del producto cartesiano de los naturales en Haskell”
He añadido a LógicaMente la siguiente relación de ejercicios que ilustra el uso de las funciones de orden superior en Haskell y la comprobación de sus propiedades con QuickCheck.
Read More “Segmentos de una lista que verifican una propiedad”
A lo largo del curso iré actualizando un libro de ejercicios resueltos de programación con Haskell con las relaciones de ejercicios del curso de Informática (de 1º del Grado en Matemáticas)
En la versión actual contiene las soluciones de las 6 primeras relaciones que tratan sobre definiciones elementales, definiciones por comprensión y definiciones por recursión.
La semana pasada, @republicofmath planteó en twitter la siguiente pregunta
4=2^2, 9=3^2, 4||9 = 49 = 7^2. 16=4^2, 81=9^2, 16||81= 1681=41^2. Others?
donde x||y es el número obtenido concatenando las cifras de x e y. A partir de esta pregunta he elaborado la siguiente relación de ejercicios para la asignatura de Informática de 1º del Grado en Matemáticas
Read More “Cuadrados mediante concatenación de cuadrados en Haskell”
En este artículo presento una implementación en Haskell de algoritmos de recorridos de grafos en profundidad y en anchura. En las implementaciones he usado los siguientes tipos de datos abstractos, presentados en anteriores artículos, de los grafos, de las pilas y de las colas.
Read More “Recorridos de grafos en Haskell”