Lenguajes Formales II

Lenguajes Formales II, curso en la Pontificia Universidad Javeriana en el semestre 2-2008

Objetivos

Principal:

  1. Entender y formalizar los paradigmas de programación más importantes en la computación

Secundarios:

  1. Comprender la relación entre el Lambda-Cálculo y la programación funcional
  2. Estudiar la programación funcional en Lisp
  3. Comprender la programación funcional tipada y su derivación del Lambda-Cálculo tipado
  4. Estudiar la programación funcional tipada en O-caml
  5. Explorar el cálculo de restricciones y su paradigma equivalente CCP (Opcional)

Contenido

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

Evaluación

  • 1er examen - 30%
  • 2do examen - 30%
  • 3er examen - 30%
  • Tareas, trabajos - 10%

Bibliografía

  • Pierce, Benjamin C. Types and Programming Languages - The MIT Press. 2002, 623p. Cap 5 y Cap 9.
    • Signatura de Biblioteca: 005.13P615t e1
  • Leeuwen, Jan van. Handbook of Theoretical Computer Science: formal models and semantics - 2ed Elsevier Science B.V. 1998, 1273p.
    • Signatura de Biblioteca: R004H236 v2

Exámenes Previos

 
materias/leng2/2008-2/bibliogragia.txt · Última modificación: 2011/01/24 15:30 (editor externo)
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki