
Microcredencial en Lógica y Teoría Descriptiva de Conjuntos
En este curso se abordarán conceptos de lógica matemática como la axiomática de Zermelo - Fraenkel y la complejidad y clasificación de fórmulas matemáticas. Nuestro objetivo final será demostrar algunos resultados interesantes de análisis matemático por medio de la lógica para así comprobar que es una herramientas con la que trabajar y que puede dar información matemática de interés. Además, interrelacionaremos esta con diferentes ramas de conocimiento como la informática o la filosofía de las matemáticas. Recomendado para estudiantes de últimos cursos o egresados de Matemáticas.