Hoy he publicado la relación 16 de ejercicios de Informática de 1º de Matemáticas.
Contiene ejercicios de razonamiento sobre programas, tipos de datos y comprobación de propiedades con QuickCheck.
Como caso de estudio se propone el cálculo de las coaliciones de partidos para obtener mayorías parlamentarias minimales.
A lo largo de la semana los alumnos escribirán de manera colaborativa las soluciones de la relación 16.
Hoy he publicado la relación 15 de ejercicios de Informática de 1º de Matemáticas.
Contiene ejercicios de razonamiento sobre programas por inducción sobre los números naturales, certificación con QuickCheck, plegados y funciones sobre listas de listas.
A lo largo de la semana los alumnos escribirán de manera colaborativa las soluciones de la relación 15.
Hoy se ha realizado el segundo examen de Informática de 1º de Matemáticas.
Hoy he publicado la relación 14 de ejercicios de Informática de 1º de Matemáticas.
Contiene 5 ejercicios del proyecto Euler.
A lo largo de la semana los alumnos escribirán las soluciones de la relación 14.
Hoy he publicado la relación 13 de ejercicios de Informática de 1º de Matemáticas.
Contiene ejercicios de evaluación perezosa y de tipos de datos recursivos.
A lo largo de la semana los alumnos escribirán las soluciones de la relación 13.