Francisco Hernández Quiroz
e-mail:
fhq@ciencias.unam.mx
Andrea Regina García Correa
e-mail: regina.gaco@ciencias.unam.mx
Leonardo Gallo Guerrero
e-mail: lgallo@ciencias.unam.mx
Profesor: lunes, miércoles y viernes, 11:00–12:00, salón 102, ed. Yelizcalli
Ayudante: martes y jueves, 11:00–12:00, salón 102, ed. Yelizcalli
Laboratorio: jueves 14:00–16:00, Taller de Lenguajes de Programación
4 Programación lógica y bases de datos
6 Verificación de programas y otras aplicaciones de lógica modal
Tarea de Inducción y recursión
Tarea de Cálculo de proposiciones
Tarea de Cálculo de predicados
Tarea de Programación lógica y bases de datos
Tarea de Verificación de programas y otras aplicaciones de lógica modal
Regreso a la página principal / Home
Francisco Hernández Quiroz