MATE 4021. Lógica Matemática

Código MATE 4021
Titulo Lógica Matemática
Creditos 3
Horas 3 por semana
Prerrequisitos MATE 4032
Descripción El cálculo de enunciados. Cálculo de predicados de primer orden. Enfoque sintáctico y semántico del concepto verdad. Teorema de completabilidad de Gödel. Teoría de modelos. Problemas de decisión. Aritmetización de la lógica.
Información adicional