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 motículos y la verificación con QuickCheck de sus propiedades características.
Las transparencias usadas en la clase son las del tema 16
Read More “I1M2014: El tipo abstracto de datos de las colas de prioridad en Haskell”
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 “I1M2014: 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 hemos comentado las soluciones a los ejercicios sobre la numeración de los números racionales en Haskell de la relación 25.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Ejercicios sobre la numeración de los racionales en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha comentado las soluciones de los ejercicios de la relación 24 que consiste en la implementación del TAD de los grafos mediante lista.
Las soluciones de los ejercicios de la relación es el siguiente
Read More “I1M2014: Ejercicios sobre la implementación del TAD de grafos mediante listas”
En la clase de hoy de Informática de 1º del Grado en Matemáticashemos estudiado la implementación en Haskell de los algoritmos de Kruskal y de Prim para calcular los árboles de expansión mínimo.
Las transparencias usadas en la clase son las páginas 44-57 tema 22.
Read More “I1M2014: Implementación en Haskell de los algoritmos de Kruskal y de Prim”