Informática (2015-16)

Este curso aborda la programación funcional con Haskell y el cálculo simbólico con Maxima, estructurándose en cuatro partes. La primera parte introduce los fundamentos de Haskell, desde conceptos básicos como tipos, clases y funciones recursivas hasta temas avanzados como evaluación perezosa y analizadores funcionales. La segunda parte se centra en algorítmica, cubriendo estructuras de datos como pilas, colas, grafos y técnicas de diseño de algoritmos. La tercera parte explora temas complementarios, incluyendo gráficos con Gloss, fractales, animaciones y análisis de complejidad. Finalmente, en la cuarta parte se presenta Maxima, tratando desde operaciones básicas hasta programación, matrices y visualización de datos.

Esta asignatura constituye una materia troncal del primer curso del Grado en Matemáticas de la Universidad de Sevilla.

Temas

Libros con temas, ejercicios y exámenes

Códigos

Manuales de referencia de Haskell

Referencias

Programación funcional con Haskell

Libros programación funcional con Haskell

Manuales de referencia de Haskell

Buscador de funciones de Haskell

Cursos sobre programación funcional con Haskell

Sistemas

En esta sección se encuentran enlaces a los sistemas utilizados en la asignatura "Informática" y a los procedimientos de instalación.

Instalación de los sistemas en Windows

Los ficheros para instalar los sistemas en Windows son los siguientes

Instalación de los sistemas en Ubuntu

Se pueden instalar los sistemas en Ubuntu con el gestor de paquetes Synaptic, buscando los paquetes ghc6, emacs23, haskell-mode, quickcheck2, maxima y wxmaxima.

Además, copiar en el directorio del usuario el fichero de configuración de emacs.

Instalación de los sistemas en Mac

Los pasos de la instalación en Mac son los siguientes:

  1. Instalar MacPorts usando su guía de instalación.
  2. Instalar aquamacs desde aquí.
  3. Configurar aquamacs: En la pestaña Options seleccionar Option, Command, Meta keys y después Meta & Spanish .
  4. Instalar la plataforma Haskell desde aquí.

Sitios de los sistemas

Los sitios oficiales de los sistemas son los siguientes


José A. Alonso Jiménez
Sevilla, 29 de junio del 2025
Licencia: Creative Commons.