En la clase de hoy del curso de Razonamiento automático hemos comentados las soluciones de los ejercicios de la relación 1 (sobre deducción natural en lógica proposicional) y de la ewlación 2 (sobre deducción natural en lógica de primer orden) y hemos resueltos esjercicios de la relación 3 (sobre razonamiento por inducción sobre listas).
En este artículo continúo la serie dedicada a los tipos de datos abstractos (TAD) en Haskell presentando el TAD de las colas de prioridad.
Una cola de prioridad (en inglés, priority queue) es una cola en la que cada elemento tiene asociada una prioridad y la operación de extracción siempre elige el elemento de menor prioridad. Un ejemplo de cola de prioridad es el formado por una lista de ciudades ordenadas por su distancia a un destino final.
El contenido del resto del artículo es el siguiente:
Posteriormente, cuando se estudien los montículos, se presentará otra implementación de las colas de prioridad mediante montículos.
Read More “El tipo abstracto de datos de las colas de prioridad en Haskell”