Día: 10 octubre 2018

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 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 “I1M2018: Ejercicios de definiciones por composición sobre números y listas (2)”

En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha explicado la primera 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 un generador,
• listas con varios generadores,
• listas con generadores dependientes y
• listas con guardas,
• 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.

También se ha explicado cómo usar QuickCheck para la

• comprobar propiedades y
• refutar propieades.

Los apuntes utilizados son los del tema 5