En esta página se encuentran diversas notas de clase que he escrito para distintos cursos.
Lecture Notes for Courses at The Faculty of Science UNAM
-
Buscar la página más reciente de cada curso en la sección de
cursos anteriores para obtener la última versión de estas
notas.
- Lógica Computacional (Computational Logic) . Notas para el curso de Análisis Lógico 2005-2008.
- Lenguajes de Programación y sus Paradigmas (Programming Languages and their Paradigms). 2007-2010
- Programación Funcional y Lógica (Functional and Logic Programming) 2007.
- Teoría de la Computación. (Theory of Computation) 2005-2006,2010
- Sistemas de Tipos. (Type Systems) 2005
- Lógica Computacional (Computational Logic). Notas para el curso de Análisis Lógico. Semestre 99-2.
Various
- A Note on Going from System F to System F à la Curry and back. (1.08.2002, In English) pdf
-
Calculus in Coinductive Form by Pavlovic and Escardo. (17.07.2001, In English)
(Notes for the Seminar Recursion for Coalgebras) pdf -
Korrektheit des Vervollständigungsverfahrens und Huets
Algorithmus. (31.01.2001, In german)
(Correctness of the Completion Procedure and Huet's Procedure) pdf