Lógica Computacional 

Profa. Lourdes del Carmen González Huesca 

lu mi vi 12 a 13 hrs   

luglzhuesca@ciencias.unam.mx

Ayud. Fausto David Hernández Jasso
ma ju 12 a 13 hrs 

Ayud. Lab. Juan Pablo Yamamoto Zazueta

ma 10 a 12 hrs   Taller de Sistemas Operativos... (Tlahuizcalpan)

La inscripción al curso obliga a aceptar las consideraciones y las reglas para el curso en línea descritas en la Evaluación.

Requisitos deseables: Estructuras discretas, Álgebra superior. 

Temario:

1. Repaso de Lógica Proposicional: Nociones básicas, tablas de verdad; Formas Normales; Resolución Binaria; Aplicación: problemas SAT.

2. Lógica de Primer Orden: Motivación, introducción; Sintaxis y especificación formal; Formas normales; Unificación y Resolución; Programación Lógica.

3. Semántica de Lógica de Primer Orden: Semántica denotativa para expresiones aritméticas.

4. Lógica para la práctica: Razonamiento ecuacional; Deducción Natural; Cálculo de Secuentes y razonamiento hacia atrás.