Lógica y programación
Resumen
La materia tiene como objetivos: conocer y entender los formalismos de la lógica proposicional y de primer orden, su poder expresivo y limitaciones. Reconocer las diferencias entre las formalizaciones sintácticas y semánticas de dichos formalismos, como así también la relación entre ambos planteos. Entender los conceptos de unificación y resolución para cada tipo de lógica, su aplicación y utilidad práctica. Conocer 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. 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.