Lenguajes Formales II, curso en la Pontificia Universidad Javeriana en el semestre 2-2008
Principal:
Entender y formalizar los paradigmas de programación más importantes en la computación
Secundarios:
Comprender la relación entre el Lambda-Cálculo y la programación funcional
Estudiar la programación funcional en Lisp
Comprender la programación funcional tipada y su derivación del Lambda-Cálculo tipado
Estudiar la programación funcional tipada en O-caml
Explorar el cálculo de restricciones y su paradigma equivalente CCP (Opcional)
Clase | Material | Tarea |
01. Introducción/Motivación | | |
02. Introducción al Lambda-Cálculo | | |
03. Deducción en el Lambda-Cálculo | | |
04. Reducción en el Lambda-Cálculo | | |
05. Programación en el Lambda-Cálculo | | |
06. Lambda-Cálculo y Lisp | | |
07. Programación básica en Lisp | | |
08. Programación avanzada en Lisp | | |
09. Lambda-Cálculo tipado | | |
10. Introducción a O-caml | | |
11. Programación avanzada en O-caml | | |
1er examen - 30%
2do examen - 30%
3er examen - 30%
Tareas, trabajos - 10%