En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el TAD de las tablas y 3 implementaciones en Haskell: como funciones, como listas de asociación y como matrices.
Las transparencias usadas en la clase son las páginas 19-39 del tema 18:
Read More “I1M2010: El TAD de las tablas en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo trabajar con tablas en Haskell usanso el módulo Data.Array.
Las transparencias usadas en la clase son las 18 primeras del tema 18:
Read More “I1M2010: Las tablas (arrays) en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la traza de la construcción de los montículos a partir de listas, la implementación de las colas de prioridad mediantes montículos y la verificación con QuickCheck de sus propiedades características.
Las transparencias usadas en la clase son las del tema 20:
Read More “I1M2010: Implementación en Haskell de las colas de prioridad mediante montículos”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el tipo abstracto de los montículos, su implementación en Haskell mediante tipo de datos algebraicos y la verificación con QuickCheck de sus propiedades características.
Las transparencias usadas en la clase son las del tema 20:
Read More “I1M2010: El tipo abstracto de datos de los montículos en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el tipo abstracto de las colas de prioridad, su implementación en Haskell mediante listas y la verificación con QuickCheck de sus propiedades características.
Las transparencias usadas en la clase son las del tema 16:
Read More “I1M2010: El tipo abstracto de datos de las colas de prioridad en Haskell”