Programas Vigentes de Materias de UBA-FCE

Contenidos Mínimos de la materia: 

Razonamientos, deducción y consistencia. Lenguajes formales, cuestiones semióticas, relación con el lenguaje ordinario. Lógica de Predicados de Primer Orden. Sistemas formales (Deducción Natural, Árboles Semánticos, etc.). Propiedades metalógicas. Computabilidad: Máquinas de Turing. Lógica de Enunciados. Métodos de decisión. Algebra Booleana y Circuitos Lógicos. Extensiones de la Lógica de Predicados de Primer Orden. Teorías de la elección racional. Creencias y Lógica de las preferencias. Representación de problemas de decisión mediante matrices y árboles. Probabilidad Bayesiana. Elecciones bajo incertidumbre.