Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

materias:leng2:2008-2:bibliogragia [2010/06/04 12:10]
ysperchy
materias:leng2:2008-2:bibliogragia [2011/01/24 15:30] (actual)
Línea 1: Línea 1:
 +===== Lenguajes Formales II =====
 +Lenguajes Formales II, curso en la Pontificia Universidad Javeriana en el semestre 2-2008
  
 +===== Objetivos =====
 +**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)
 +===== 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:resources:exam1-2007-01.pdf| Examen 1, 2007, Primer Semestre}}
 +  * {{materias:leng2:resources:exam2-2007-01.pdf| Examen 2, 2007, Primer Semestre}}
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki