En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado la resolución de ejercicios de las relaciones 16, 17 y 18 cuyas soluciones se muestran a continuación.
Read More “I1M2010: Ejercicios de Haskell (relaciones 16, 17 y 18)”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha realizado el 4º examen de la evaluación continua.
Las notas se han publicado en la WebCT.
A continuación se muestra el examen junto con su solución:
Read More “I1M2010: 4º examen de la evaluación continua”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos continuado con la resolución de los ejercicios de la 14ª relación (que comenzamos en la clase del día 17) y hemos comentado las soluciones de la 15ª relación.
Las soluciones de los restantes de la relación 14 son
Read More “I1M2010: Ejercicios de Haskell (relaciones 14 y 15)”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado una aplicación de la definición de tipos. Concretamente, se ha estudiado cómo definir el tipo de las fórmulas proposicionales y, trabajando con dicho tipo, construir un programa para determinar si una fórmula es una tautología.
Las transparencias usadas en la clase son las del tema 9 (páginas 25-33):
Read More “I1M2010: Un calculador de tautologías en Haskell como caso de estudio de tipos de datos definidos”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la definición de nuevos tipos de datos y de funciones sobre dichos tipos. Concretamente, se ha estudiado
Las transparencias usadas en la clase son las del tema 9 (páginas 1-24):
Read More “I1M2010: Definiciones de tipos de datos en Haskell”