Lógica Computacional

Facultad de Ciencias

Semestre: 2023-2

Grupo: 7068



Profesor

Francisco Hernández Quiroz
e-mail: fhq@ciencias.unam.mx

Ayudante

Andrea Regina García Correa
e-mail: regina.gaco@ciencias.unam.mx

Laboratorio

Leonardo Gallo Guerrero
e-mail: lgallo@ciencias.unam.mx

Horario y lugar

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

Modalidad

Temario

Láminas del curso

Presentación

1 Inducción y recursión

2 Cálculo de proposiciones

3 Cálculo de predicados

4 Programación lógica y bases de datos

5 Lógicas modales

6 Verificación de programas y otras aplicaciones de lógica modal

Tareas

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 Lógicas modales

Tarea de Verificación de programas y otras aplicaciones de lógica modal


Regreso a la página principal / Home

Francisco Hernández Quiroz
Última modificación: 2023/01/25