En la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se han comentado las soluciones de los 5 primeros ejercicios 12ª relación. En los ejercicios se piden definiciones de funciones de orden superior y con plegados.
Los ejercicios y soluciones se muestran a continuación
Read More “I1M2013: Ejercicios sobre funciones de orden superior y plegados”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se han estudiado las funciones de orden superior y las funciones de procesamiento de listas (map y filter).
Además, se ha estudiado cómo puede abstraerse los esquemas definición de funciones de recursión sobre listas mediante la función de plegado (foldr) y cómo con dicha función puede simplificarse la definición de funciones.
A continuación se ha visto cómo definir funciones con acumuladores y cómo simplificarlas con el patrón de plegado por la izquierda (foldl).
Finalmente, se ha visto cómo puede simplificarse la definición de funciones usando el operador de composición.
Las transparencias usadas en la clase son las páginas 1 a 23 del tema 7
Read More “I1M2013: Funciones de orden superior en Haskell”
En la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se han comentado las soluciones de los ejercicios 6 a 17 de la 10ª relación y los de la 11ª. En ambas relaciones se proponen ejercicios con dos definiciones (una por recursión y otra por comprensión) y la comprobación de la equivalencia de las dos definiciones con QuickCheck.
Los ejercicios 6 a 17 de la relación 10 y soluciones se muestran a continuación
Read More “I1M2013: Ejercicios de definiciones por recursión y comprensión (2)”
En la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se han comentado las soluciones de los ejercicios 4 a 8 de la 8ª relación y los 5 primeros de la 10ª. En la relación 8 se proponen ejercicios por recursión de exámenes del curso anterior. En la relación 10 se proponen ejercicios con dos definiciones (una por recursión y otra por comprensión) y la comprobación de la equivalencia de las dos definiciones con QuickCheck.
Los ejercicios 4 a 8 de la relación 8 y soluciones se muestran a continuación
Read More “I1M2013: Ejercicios de definiciones por recursión y comprensión (1)”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la verificación de propiedades con QuickCheck y, como aplicación, se ha estudiado la verificación de la ordenación por mezcla siguiendo los ejercicios de la relación 9.
Los ejercicios, y sus soluciones, se muestran a continuación:
Read More “I1M2013: Verificación de la ordenación por mezcla con QuickCheck”