En este repositorio se encuentra el código en Haskell de los temas del curso de Informática de 1º del Grado en Matemáticas de la Universidad de Sevilla.

Se puede instalar como se explica en la Guía de instalación.

Los códigos de los temas son

• Tema 1: Introducción a la programación funcional.
• Tema 2: Introducción a la programación con Haskell.
• Tema 3: Tipos y clases.
• Tema 4: Definición de funciones.
• Tema 5: Definiciones de listas por comprensión.
• Tema 6: Funciones recursivas.
• Tema 7: Funciones de orden superior.
• Tema 8: Razonamiento sobre programas.
• Tema 9: Declaración de tipos y clases.
• Tema 10: Evaluación perezosa.
• Tema 11: Aplicaciones de programación funcional.
• Tema 12: Analizadores sintácticos funcionales.
• Tema 13: Programas interactivos.
  • Funciones de entrada/salida.
  • Juego de adivinar el número.
  • Representación gráfica de funciones con gnuplot.
  • Manejo de ficheros.
• Tema 14: El tipo abstracto de datos de las pilas.
  • Implementación de las pilas mediante tipos de datos algebraicos.
  • Implementación de las pilas mediante listas.
  • Propiedades del TAD de las pilas.
• Tema 15: El tipo abstracto de datos de las colas.
  • Implementación de las colas mediante listas.
  • Implementación de las colas mediante pares de listas.
  • Propiedades del TAD de las colas.
• Tema 16: El tipo abstracto de datos de las colas de prioridad.
  • Implementación de las colas de prioridad como listas.
  • Propiedades del TAD de las colas de prioridad.
• Tema 17: El tipo abstracto de datos de los conjuntos.
  • Implementación de los conjuntos como listas no ordenadas con elementos duplicados.
  • Implementación de los conjuntos como listas no ordenadas sin elementos duplicados.
  • Implementación de los conjuntos como listas ordenadas sin elementos duplicados.
  • Propiedades del TAD de los conjuntos.
• Tema 18: El tipo abstracto de datos de las tablas:
  • El tipo array.
  • Implementación de las tablas como funciones.
  • Implementación de las tablas como listas de asociación.
  • Implementación de las tablas como matrices.
  • Propiedades del TAD de las tablas.
• Tema 19: El tipo abstracto de datos de los árboles binarios de búsqueda:
  • Implementación de los árboles binarios de búsqueda como tipo de dato algebraico.
  • Propiedades del TAD de los árboles binarios de búsqueda.
• Tema 20: El tipo abstracto de datos de los montículos:
  • Implementación de los montículos como tipo de dato algebraico.
  • Propiedades del TAD de los montículos.
  • Implementación de las colas de prioridad mediante montículos.
• Tema 21: El tipo abstracto de datos de los polinomios:
  • Implementación de los polinomios mediante tipos de datos algebraicos.
  • Implementación de los polinomios mediante listas densas.
  • Implementación de los polinomios mediante listas dispersas.
  • Propiedades del TAD de los polinomios.
  • Operaciones con el TAD de los polinomios.
• Tema 22: Algoritmos sobre grafos:
  • Implementación de los grafos mediante vectores de adyacencia.
  • Implementación de los grafos mediante matrices de adyacencia.
  • Recorrido en profundidad.
  • Recorrido en anchura.
  • Algoritmos de Kruskal y de Prim.
• Tema 23: Técnicas de diseño descendente de algoritmos:
  • Divide y vencerás
    • El patrón divide y vencerás.
    • Ordenación por mezcla.
    • Ordenación rápida.
  • Búsqueda en espacios de estados:
    • El patrón de búsqueda en espacios de estados.
    • El problema de las n reinas.
    • El problema de la mochila.
  • Búsqueda por primero el mejor:
    • El patrón de búsqueda por primero el mejor.
    • El 8 puzzle.
  • Búsqueda en escalada:
    • El patrón de búsqueda en escalada.
    • El problema del cambio de monedas.
    • El algoritmo de Prim del árbol de expansión mínimo.
• Tema 24: Programación dinámica:
  • Patrón de la programación dinámica.
  • Fibonacci como ejemplo de programación dinámica.
  • Producto de cadenas de matrices.
  • Caminos mínimos entre todos los pares de nodos de un grafo.
  • Problema del viajante.
• Tema 25: Programación de dibujos con Gloss.
• Tema 26: Programación de fractales con Gloss.
• Tema 27: Programación de animaciones con Gloss.
• Tema 28: Análisis de complejidad de algoritmos.