Grupo
de Investigación en Métodos Formales
Teoría de la
Computación
Facultad de Ciencias de la Computación
Benemérita Universidad Autónoma de Puebla
Docencia: |
|
|
|
|
Primavera 2004
|
Verano 2004
Las notas están en postscritpt (extensión ps) y aparte están
comprimidas (con gzip). Para leerlas necesitas:
|
Otoño 2004
|
Primavera 2006
|
Verano 2006
|
Otoño 2006 |
Primavera 2007
|
Verano 2007
|
Otoño 2007
|
Primavera 2008
|
|
Otoño 2009
|
Primavera 2010
|
Verano 2010 |
Otoño 2010
|
Primavera 2011
|
Verano 2011
|
Otoño 2011
|
Primavera 2012
|
Verano 2012
|
Otoño 2012
|
Primavera 2013
|
Verano 2013
|
Otoño 2013 |
Primavera 2014
|
Verano 2014 |
|
|
Otoño 2014
|
Primavera 2015
|
Verano 2015
|
Otoño 2015
|
Primavera 2016
|
Verano 2106 |
Computabilidad: Calificaciones
|
|
Otoño 2016:
|
POtoño 2016: Primavera 2017
|
Verano 2017:
|
Otoño 2017:
|
Primavera 2018:
Otoño 2018
|
Verano 2018
|
Primavera 2019
Lenguajes Formales y Autómatas calificaciones
Seminario de Tesis e Investigación III (doctorado FCFM)
Lógica Matemática calificaciones
Verano 2019
Matemáticas Discretas notas
Otoño 2019
Estructuras Discretas notas calificaciones
Seminario de Tesis e Investigación IV (doctorado FCFM)
Primavera 2020
Computabilidad
Seminario de Tesis e Investigación V (doctorado FCFM)
Otoño 2020
Estructuras discretas
Matemáticas discretas
Seminario de Tesis e Investigación VI (doctorado FCFM)
Primavera 2021
Matemáticas Discretas
Lógica Matemática
Lenguajes Formales y Autómatas
Verano 2021
Estructuras Discretas lección1, lección2, lección3, lección4, lección5, lección6, lección7, lección8, lección9, lección10, lección11, lección12, lección13, lección14, lección15, lección16, lección17, lección18, lección19, lección20, lección21, lección22
Investigación: |
|
|
Publicaciones más recientes: |
|
Publicaciones electrónicas: |
|
Congresos, conferencias (2003-?) |
|