Temas de "Programación declarativa (2009-10)"

Primera parte: Programación funcional

Apuntes de todos los temas

• En Temas de "Programación funcional" se encuentran las transparencias de todos los temas de la primera parte del curso en forma de libro.
• En Introducción a la programación lógica con Prolog se encuentran los apuntes de la segunda parte del curso en forma de libro.

Transparencias por tema

1. Transparencias de los temas de Programación funcional
• Tema 1: Introducción a la programación funcional. (2 en 1)
• Tema 2: Introducción a la programación con Haskell. (2 en 1)
• Tema 3: Tipos y clases. (2 en 1)
• Tema 4: Definición de funciones. (2 en 1)
• Tema 5: Definiciones de listas por comprensión. (2 en 1)
• Tema 6: Funciones recursivas. (2 en 1)
• Tema 7: Razonamiento sobre programas. (2 en 1)
• Tema 8: Funciones de orden superior. (2 en 1)
• Tema 9: Declaraciones de tipos y clases. (2 en 1)
• Tema 10: Evaluación perezosa. (2 en 1)
• Tema 11: Analizadores funcionales. (2 en 1)
• Tema 12: Programas interactivos. (2 en 1)
• Tema 13: Aplicaciones de programación funcional. (2 en 1)
2. Ejercicios de programación en Haskell.

Segunda parte: Programación lógica.

1. Transparencias de los temas de Programación lógica
• Tema 14: Introducción a la programación lógica. (2 en 1)
• Tema 15: Programación lógica con Prolog. (2 en 1)
2. Ejercicios resueltos de programación lógica con Prolog.

[ Inicial | Temas | Prácticas | Documentación | Sistemas | Exámenes ]