Programación declarativa (2009-10)

Este curso es una introducción a la programación declarativa en su doble aspecto: programación funcional y programación lógica. En el plan de la asignatura se encuentra más información.

Novedades

Se han publicado las notas de la evaluación por curso en la WebCT y las soluciones en la página de exámenes.

Material para el curso

Temas	Transparencias de los temas.
Prácticas	Relaciones de prácticas.
Documentación	Enlaces con documentación.
Sistemas	Sistemas utilizados.
Aula virtual	Aula virtual en la WebCT.