I1M2017

En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha explicado la segunda parte del tema 5 en la que se estudia cómo definir funciones en Haskell usando listas de comprensión. En concreto, hemos visto cómo definir:

• listas con guardas e igualdad,
• listas de comprensión con emparejamientos.

También se han estudiados las cadenas como caso particular de listas y cómo aplicar definiciones por comprensión a cadenas.

Las transparencias usadas en la clase son las correspondientes a las sesiones 3 y 4 del tema 5

En la segunda parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos comentado soluciones de los 7 últimos ejercicios de la 1ª relación sobre definiciones por composición de funciones sobre números, listas y booleanos.

Los ejercicios y su solución se muestran a continuación
Read More “I1M2017: Ejercicios de definiciones por composición sobre números y listas (2)”

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha explicado la primera parte tema 5 en la que se estudia cómo definir funciones en Haskell usando listas de comprensión. En concreto, hemos visto cómo definir:

• listas con un generador,
• listas con varios generadores,
• listas con generadores dependientes y
• listas con guardas.

También se ha explicado cómo instalar QuickCheck usando

y cómo usar QuickCheck para comprobar propiedades.

Las transparencias usadas en la clase son las correspondientes a las dos primeras sesiones del tema 5

En la segunda parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos comentado soluciones de los 11 primeros ejercicios de la 1ª relación sobre definiciones por composición de funciones sobre números, listas y booleanos.

En el comentario de algunos ejercicios se ha comentado:

• el uso creativo del fallo; es decir, cómo a partir de una definición incorrecta se puede obtener otra correcta y
• la comparación de eficiencia de soluciones, activando las estadísticas con :set +s

Los ejercicios y su solución se muestran a continuación
Read More “I1M2017: Ejercicios de definiciones por composición sobre números y listas”

En la primera parte de la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se ha explicado el tema 4 donde se estudia cómo definir funciones en Haskell usando los formas básicas: composición, condicionales, guardas y patrones.

Además. se estudió la comprobación de propiedades con la librería QuickCheck

Como tarea para la próxima clase se ha propuesto resolver de manera colaborativa los ejercicios de la 2ª relación

Los apuntes correspondientes a la clase son