I1M2014: 6º examen de programación con Haskell
Hoy se ha realizado el 6º examen del curso de Informática (de 1º de Grado en Matemáticas). Los ejercicios, y sus soluciones, se muestran a continuación.
I1M2014: Mayorías parlamentarias
En la tercera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 41 sobre mayorías parlamentarias como caso de estudio de tipos algebraicos.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Mayorías parlamentarias”
I1M2014: Demostración de propiedades de programas por inducción sobre árboles
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 40 sobre demostración de propiedades de programas por inducción sobre árboles.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Demostración de propiedades de programas por inducción sobre árboles”
I1M2014: Demostración de propiedades por inducción sobre números y listas
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 39 sobre demostración de propiedades por inducción sobre números y listas
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Demostración de propiedades por inducción sobre números y listas”