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%
