Lógica y Programación 2022s2

Aquí encontrará el material de soporte para el curso.

Docentes:

• Juan Di Mauro

• Rafael Romero

• Cristian Sottile

Horarios: Lunes (aula 258) y Miércoles (aula 38) de 16 a 19.

Lista de correo: lds-est-lyp@listas.unq.edu.ar

Email docentes: lds-doc-lyp@listas.unq.edu.ar

Teóricas:

• Lógica proposicional

• Deducción natural

• Correctitud y completitud en Prop

• Lógica de predicados

• Resolución en Prop

• Sustituciones

• Unificación

• Formas Normales en Pred

• Resolución en Pred

• Resolución SLD

• Verificación - Corrección parcial

Prácticas:

• Práctica 0 - Preliminares

• Práctica 1 - Lógica proposicional

• Práctica 2 - Deducción natural

• Práctica 3 - Lógica de Predicados

• Práctica 4 - Resolución en Prop

• Práctica 5 - Unificación y Resolución en Pred

• Práctica 6 - Prolog

• Práctica 7 - Verificación de programas

Apuntes:

• Preliminares

Parciales de años anteriores:

(Si encuentran errores en los parciales o en las soluciones, por favor reportarlos a la lista de docentes)

• 2021c1