MATE 4120 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.

Créditos

4

Periodo en el que se ofrece el curso

201810

Idioma en el que se ofrece el curso

Español