MATE4120 Lógica Matemática
En éste curso pretendemos presentar una introducción a los temas más importantes de la Lógica Matemática como son: el teoremas de completitud para la lógica de primer orden y el teorema de incompletitud de Gödel de la aritmética formal. El segundo tema que abordaremos será la teoría axiomática de conjuntos de Zermelo – Frenkel con el axioma de escogencia, ordinales, cardinales y aritmética cardinal. Finalmente haremos una introducción a la teoría de modelos.
Periodo en el que se ofrece el curso
201810
Idioma en el que se ofrece el curso
Español
Página del catálogo en este curso