En clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentando las soluciones los 6 primeros ejercicios de evaluación perezosa y listas infinitas de la 10ª relación.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2018: Ejercicios de evaluación perezosa y listas infinitas en Haskell”
En la primera parte de la clase de hoy del curso de Razonamiento automático se ha estudiado cómo definir y razonar en Isabelle/HOL tipos de datos recursivos como árboles binarios, árboles generales y bosques. En su definición se usa recursión cruzada y en la demostración de sus propiedades se usa inducción doble.
La teoría utilizada es la siguiente
Read More “RA2018: Razonamiento sobre árboles y bosques en Isabelle/HOL”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la evaluación perezosa en Haskell. Se han visto la estrategias de evaluación perezosa e impaciente, se han comparado respecto de la terminación y el número de pasos necesarios en las computaciones, se ha aplicado a la computación con estructuras infinitas y se han visto casos en los que se aumenta la eficiencia con evaluación estricta.
Como ejemplo, se ha estudiado el cálculo de los números primos mediante la criba de Erastótenes.
Los apuntes correspondientes a la clase son
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo se definen en Haskell las clases y sus instancias.
Los apuntes correspondientes a la clase son los del tema 9
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los 3 primeros ejercicios de la relación 9 sobre tipos de dato algebraico.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2018: Ejercicios de tipos de datos algebraicos en Haskell”