En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han comentado los problemas propuestos en Exercitium del 22 al 29 de noviembre. Los enlaces a dichos problemas, y a sus soluciones, son
En la primera 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
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han comentado los problemas propuestos en Exercitium los días 20 y 21 de noviembre. Los enlaces a dichos problemas, y a sus soluciones, son
En la segunda 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 primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo construir un programa para determinar si una fórmula es una tautología.
Para ello se consideran las siguientes fases:
Los apuntes correspondientes a la clase son
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.