Dr. rer. nat. Favio E. Miranda Perea

Mathematics Departament, Faculty of Science

National Autonomous University of Mexico

This page is mainly in spanish, english titles are informative only

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