Descripción: Conocemos los programas lógicos definidos y discutimos cómo otorgarles semánticas formales.

Actividades: Revisar las láminas y realizar los ejercicios de computación que se sugieren allí.

Evaluación: Debates.

Material de apoyo: Capítulo 2 y 3 de libro de texto. Bitácoras y láminas de clase.

SESIONES DE UNIDAD 03:

Sesión 1: Resolución y la interpretación procedimental de los programas lógicos.

Descripción: Repasamos los elementos de la teoría de modelos en lógica y aprendemos a usarle para definir la semántica de un lenguaje de programación.
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: Una semántica única para programas lógicos definidos.

Descripción: Repasamos los elementos de la teoría de modelos en lógica y aprendemos a usarle para definir la semántica de un lenguaje de programación. .
Actividades: Revisión de las bitácoras y de las láminas.
Evaluación: En el primer examen parcial.
Material de apoyo: Bitácoras y láminas de clase.