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 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: