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.