MATE 3121 Logica 2

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

3

Periodo en el que se ofrece el curso

201710

Idioma en el que se ofrece el curso

Español