Licenciatura en Ciencias de la Computación
Grupo: 7046
Semestre: 2018-2
Profesor: Francisco Hernández Quiroz. e-mail: fhq@ciencias.unam.mx
Ayudante: Leonardo Gallo Guerrero. e-mail: lgallo@ciencias.unam.mx
Laboratorista: Pendiente.
Teoría: lunes, miércoles y viernes, 11-12 horas, salón 204 del Yelizcalli Ayudantía: martes y jueves, 11-12 horas, salón 204 del Yelizcalli Laboratorio: jueves, 16-18 horas, Laboratorio de Ciencias de la Computación 2 Tema 1 (inducción y recursión) Tema 2 (cálculo de proposiciones) Tema 3 (cálculo de predicados) Tema 4 (programación lógica y bases de datos relacionales) Tema 6 (aplicaciones de lógica modal) Regreso a la página principal /
HomeHorarios y salones
Temario y tareas
Láminas del curso
Francisco Hernández
Quiroz