Lógica y Programación - 2020C2

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

Docentes:

Horarios: Lunes de 20 a 22 y Martes de 18 a 20.

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

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

Programa tentativo

  • Lógica Proposicional: Lenguaje, Semántica, Mecanismo Deductivo, Metateoremas, Lógica trivaluada.

  • Lógica de Primer Orden: Lenguaje, Semántica, Sistema axiomático, Metateoremas, Lógica trivaluada.

  • Programación Lógica: Resolución en lógica de primer orden, PROLOG.

  • Especificación de Programas: Especificación e implementación de programas, Lógica de Hoare, Corrección de programas. Verificación de algoritmos.

Herramienta