Informática (2009-10)
Este curso constituye una introducción a la programación mediante el enfoque de programación funcional con Haskell, así como al diseño y análisis de algoritmos y su aplicación en la resolución computacional de problemas matemáticos. Asimismo, se aborda el cálculo simbólico utilizando el sistema Maxima.
Es una asignatura troncal del primer curso del Grado en Matemáticas de la Universidad de Sevilla.
Temas
- 1ª parte: Programación funcional
- 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: Razonamiento sobre programas.
- Tema 8: Funciones de orden superior.
- Tema 9: Declaraciones de tipos y clases.
- Tema 10: Evaluación perezosa.
- Tema 11: Analizadores funcionales.
- Tema 12: Programas interactivos.
- Tema 13: El problema de cifras y letras.
- 2ª parte: Cálculo simbólico
- 3ª parte: Diseño y análisis de algoritmos
Libros con temas, ejercicios y exámenes
- En Temas de "Programación funcional" se encuentran las transparencias de todos los temas de la primera parte del curso.
- En Ejercicios de “Informática de 1º de Matemáticas” (2009–10) se encuentran todas las relaciones de ejercicios con sus soluciones.
- En Exámenes de "Programación funcional con Haskell" Vol. 1 (Curso 2009–2010) se encuentran todos los exámenes con sus soluciones.
Referencias
Programación funcional con Haskell
Manuales de referencia de Haskell
- J.A. Alonso. Resumen de funciones de Haskell.
- J. Bailey. Haskell cheat sheet.
- Haskell. Reference card.
- B. Pope y A. van IJzendoorn. A tour of the Haskell prelude.
- A. van IJzendoorn. Tour of the Haskell syntax.
- M. Nic. Haskell reference.
- Prelude.
- Haskell Hierarchical Libraries.
Buscador de funciones de Haskell
Libros y apuntes en la Red sobre Haskell
- H.C. Cunningham. Notes on functional programming with Haskell.
- Hal Daume III et al. Yet another Haskell tutorial.
- J. Fokker. Programación funcional.
- J. Gallardo, P. Gutiérrez y B. Ruiz. Una introducción agradable a Haskell versión 98 (es una traducción de P. Hudak, J. Peterson y J. Fasel A Gentle Introduction to Haskell, Version 98).
- The Haskell wikibook.
Ejercicios de Haskell
Cursos sobre programación funcional con Haskell
- J.A. Alonso. Programación declarativa (2008-09).
- J.E. Gallardo. Programación declarativa - Haskell.
- G. Hutton. Functional programming.
- P. Wadler. Informatics 1 – Functional programming.
Cálculo simbólico
- J.A. Alonso. Resumen de funciones de Maxima.
- J. Arántegui. Introducción a Maxima.
- R. Rodríguez. Maxima con wxMaxima: software libre en el aula de matemáticas.
- M. Rodríguez. Primeros pasos en Maxima.