Descripción: Discutimos los fundamentos de la lógica proposional, la lógica de predicados y la regla de resolución.

Actividades: Revisión de material de apoyo y las láminas. Lectura del capitulo 1 del libro texto.

Material de apoyo: Capítulo 1 del libro texto. Bitácoras y láminas de clase. Manual de PROLOG.

SESIONES DE UNIDAD 01:

Sesión 1: La lógica proposicional

Descripción: Definimos el lenguaje de la lógica proposicional y discutimos sobre su expresividad.
Actividades: Revisar las láminas.
Evaluación: Debates y ejercicios en el computador.
Material de apoyo: Bitácoras y láminas de clase.

Sesión 2: La lógica de predicados de primer orden.

Descripción: Definimos el lenguaje de la lógica de predicados de primer orden. Conocemos de las reglas para razonar con ese lenguaje. Comentamos acerca de la expresividad alcanzada con el nuevo lenguaje.
Actividades: Revisión de las bitácoras y de las láminas.
Evaluación: Un argumento no formal.
Material de apoyo: Bitácoras y láminas de clase.

Sesión 3: Fundamentos de la lógica computacional.

Descripción: Discutimos los principios de la programación lógica. Conocemos los elementos de llamadas TEORIA DE PRUEBA y la TEORIA DE MODELOS que fundamental la lógica computacional.
Actividades: Revisión de las bitácoras y de las láminas.
Evaluación: Un debate.
Material de apoyo: Bitácoras y láminas de clase.