Curso de Lógica y Matemática - Unidad 3: Programación en lógica definida y resolución

Abstract

Curso de Lógica y Matemática

Unidad 3: Semánticas de programas lógicos definidos

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.

Tabla de contenido del Curso de Lógica y Matemática