CARRERAS
Licenciatura en Informática-
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.
