Meses: octubre 2017

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