Dr. rer. nat. Favio E. Miranda Perea

Departamento de Matemáticas, Facultad de Ciencias

Universidad Nacional Autónoma de México

En esta página se encuentran diversas notas de clase que he escrito para distintos cursos.

Facultad de Ciencias UNAM


Si desea consultar estas notas, por favor busque la página del curso correspondiente más reciente en la sección de cursos anteriores.


  • Lógica Computacional. (antes Análisis Lógico) 2005-2017.

  • Lenguajes de Programación (antes Lenguajes de Programación y sus Paradigmas). 2007-2018

  • Programación Funcional y Lógica 2007-2012.

  • Autómatas y Lenguajes Formales (Teoría de la Computación). 2005-2018

  • Sistemas de Tipos. 2005

  • Lógica Computacional. Notas para el curso de Análisis Lógico. Semestre 99-2 (Sobreseidas por mis notas actuales de Lógica Computacional).

Miscelanea

  • A Note on Going from System F to System F à la Curry and back. (1.08.2002)   pdf

  • Calculus in Coinductive Form by Pavlovic and Escardo. (17.07.2001)
        (Notes for the Seminar Recursion for Coalgebras) pdf

  • Korrektheit des Vervollständigungsverfahrens und Huets Algorithmus. (31.01.2001)
        (Correctness of the Completion Procedure and Huet's Procedure) (En alemán). pdf