En la Olimpiada Matemática de Moscú del 1988 se propuso el siguiente problema:
Si
, entonces
se puede representar como
con x e y impares.
En la siguiente relación de ejercicios (elaborada para la asignatura de Informática de 1º del Grado en Matemáticas) se resuelve el problema con Haskell.
Read More “Representación de 2ⁿ como 7x²+y² (con x e y impares) en Haskell”
Esta relación de ejercicios está dedicada al estudio de propiedades de la sucesión de Perrin Dicha sucesión está definida por la relación de recurrencia
P(0) = 3,
P(1) = 0,
P(2) = 2,
P(n) = P(n-2) + P(n-3), para n > 2
La serie comienza por
3, 0, 2, 3, 2, 5, 5, 7, 10, 12, 17, 22, 29, 39, 51, 68, …
He publicado la primera versión de libro Piensa en Haskell (Ejercicios de programación funcional con Haskell).
Este libros es una introducción a la programación funcional con Haskell a través de una colección de ejercicios resueltos de los cursos de Informática (del
Grado en Matemáticas) y Programación declarativa (de la Ingeniería en Informática).
Los temas correspondientes a los ejercicios del libro se encuentra en Temas de programación funcional.
El libro consta de tres partes. En la primera parte se presentan los elementos básicos de la programación funcional. En la segunda, se estudian la implementación en Haskell de tipos abstractos de datos y sus aplicaciones así como cuestiones algorítmicas. En la tercera, se presentan casos de estudios. También se han incluido dos apéndices: uno con un resumen de las funciones de Haskell utilizadas y otro con el método de Pólya para la resolución de problemas.
Read More “PeH: Piensa en Haskell (Ejercicios de programación funcional con 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.