La materia tiene por objetivo que el estudiante;

  • Conozca y entienda los formalismos de la lógica proposicional y de primer orden, su poder expresivo y limitaciones.
  • Reconozca las diferencias entre las formalizaciones sintacticas y semánticas de dichos formalismos, como así también la relación entre ambos planteos.
  • Entienda los conceptos de unificación y resolución para cada tipo de lógica, su aplicación y utilidad práctica.
  • Conozca el sistema formal especificación e implementación de programas, utilizado posteriormente para la verificación de su correctitud, haciendo uso práctico de los distintos formalismos introducidos en el curso.

Modos de Cursada: Cuatrimestral Presencial

Horas Semanales:6 horas

Demanda de tiempo en casa semanal:6 horas

Sitio web:

  • Aún no disponible

Programa de la materia:

Contenidos Mínimos:

  • Lógica Proposicional: Lenguaje, Semántica, Mecanismo Deductivo, Metateoremas, Lógica trivaluada.
  • Lógica de Primer Orden: Lenguaje, Semántica, Sistema axiomático, Metateoremas, Indecidibilidad.
  • Programación lógica: Resolución en lógica de primer orden, PROLOG.
  • Fundamentos de inteligencia artificial simbólica y no simbólica.
  • Especificación de Programas: Especificación e implementación de programas, Lógica de Hoare,
  • Corrección de programas. Verificación de algoritmos.