Dr. rer. nat. Favio E. Miranda Perea

Departamento de Matemáticas, Facultad de Ciencias

Universidad Nacional Autónoma de México

Artículos con arbitraje


  • Favio E. Miranda Perea
    Axiomas que caracterizan a la Lógica Clásica.
    Enviado a Memorias de la Sociedad Matemática Mexicana. Abril 2018.

  • Favio E. Miranda Perea, Lourdes del Carmen González Huesca, Pilar Selene Lináres Arévalo
    Sobre las nociones de alcance, ligado y sustitución en lógica de predicados: Un enfoque para Ciencias de la Computación
    Por aparecer en las Memorias del XX Encuentro Internacional de Didáctica de la Lógica EIDL 2017. Academia Mexicana de Lógica 2018

  • Favio E. Miranda Perea, Araceli Liliana Reyes Cabello, Rafael Reyes Sánchez, Lourdes del Carmen González Huesca
    El Teorema de Síntesis de Kleene mediante Derivadas
    Aportaciones Matemáticas. Serie Comunicaciones. Vol. 48. pp. 33-51. 2014

  • Favio E. Miranda Perea, Araceli Liliana Reyes Cabello, Rafael Reyes Sánchez, Lourdes del Carmen González Huesca,
    La Máquina de Turing en el ámbito de los Lenguajes de Programación
    Miscelanea Matemática Vol. 56, pp. 145-178. Sociedad Matemática Mexicana. 2013.

  • Favio E. Miranda Perea, Lourdes del Carmen González Huesca, Araceli Liliana Reyes Cabello
    Una semántica constructiva para la lógica de segundo orden AF2
    Memorias de la Sociedad Matemática Mexicana, Aportaciones Matemáticas Vol. 45.Octubre 2012.

  • Favio E. Miranda Perea.
    La Lógica Proposicional de Segundo Orden
    Aportaciones Matemáticas Vol 40.
    Sociedad Matemática Mexicana 2009

  • José Alfredo Amor, Montaño, Favio E. Miranda Perea.
    Un Vistazo a la Construcción Automática de Modelos.
    En Aportaciones Matemáticas 27.
    Sociedad Matemática Mexicana 2000.

  • Fernando René Martínez Ortiz, Favio E. Miranda Perea.
    Juegos en Teoria de Modelos Finitos.
    En Aportaciones Matemáticas 25.
    Sociedad Matemática Mexicana. 1999.

  • Favio E. Miranda Perea
    La Completud de Paramodulación con RFP-Resolución.
    Memorias del Segundo Encuentro Nacional de Computación, ENC99.
    Sociedad Mexicana de Ciencias de la Computación. 1999.

  • José Alfredo Amor, Montaño, Favio E. Miranda Perea.
    Demostración Automática de Teoremas y la Nutria. 
    En Aportaciones Matemáticas 22.
    Sociedad Matemática Mexicana. 1998

Libros


  • Favio E. Miranda Perea, Elisa Viso Gurovich
    Matemáticas Discretas.
    Segunda edición. Las Prensas de Ciencias. México 2016. ISBN: 978-607-02-8095-5

  • José Alfredo Amor Montaño, Gabriela Campero Arena, Favio E. Miranda Perea.
    Teoría de Conjuntos, Curso Intermedio
    Las Prensas de Ciencias, Segunda Edición, México 2014. ISBN: 978-607-02-5626-4.

  • Favio E. Miranda Perea, Elisa Viso Gurovich
    Matemáticas Discretas.
    Las Prensas de Ciencias. México 2010. ISBN: 978-607-02-1302-1

  • José Alfredo Amor Montaño, Gabriela Campero Arena, Favio E. Miranda Perea.
    Teoría de Conjuntos, Curso Intermedio
    Las Prensas de Ciencias, México 2011. ISBN: 978-607-02-2101-9.

  • Favio E. Miranda Perea, Luis Miguel Villegas Silva, Diego Rojas Rebolledo.
    Conjuntos y Modelos. Un Curso Avanzado.
    Libro de Texto para Posgrado. Universidad Autónoma Metropolitana Iztapalapa 2000.

Tesis: