Lógica Computacional

Facultad de Ciencias

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.

Horarios y salones

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

Temario y tareas

Temario

Tarea 1

Tarea 2

Tarea 3

Tarea 4

Tarea 5

Tarea 6

Láminas del curso

Presentación

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 5 (lógica modal)

Tema 6 (aplicaciones de lógica modal)


Regreso a la página principal / Home


Francisco Hernández Quiroz
Última modificación: 2018/05/03