Informática (2014-15)

Esta asignatura del primer curso del Grado en Matemáticas de la Grado en Matemáticas presenta la programación desde una perspectiva funcional y simbólica. El programa se estructura en cuatro módulos: en primer lugar, se desarrollan los fundamentos de la programación funcional utilizando Haskell, abarcando desde los conceptos elementales hasta las técnicas más avanzadas; en segundo lugar, se profundiza en el estudio e implementación de estructuras de datos fundamentales y algoritmos asociados, incluyendo pilas, colas, árboles y grafos; el tercer módulo incorpora contenidos complementarios especializados, como la generación de gráficos mediante la biblioteca Gloss y el análisis de la complejidad algorítmica; finalmente, se aborda el cálculo simbólico empleando el sistema Maxima, orientado específicamente hacia aplicaciones matemáticas computacionales.

El material didáctico es amplio, incluyendo el texto de los temas, ejercicios y exámenes resueltos y ejemplos de código. Se complementa con manuales de referencia para Haskell y guías sobre tipos abstractos de datos. La asignatura combina fundamentos teóricos con aplicación práctica, preparando a los estudiantes para resolver computacionalmente problemas matemáticos.

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, 23 de junio del 2025
Licencia: Creative Commons.