MATH 5900 Lógica Matemática y Aplicaciones
Estudio de sintaxis y semántica en los lenguajes de primer orden. Análisis de los teoremas de Completitud, de Löwenheim-Skolem, de Compacidad y de las limitaciones del método formal. Introducción a la teoría de computabilidad mediante las máquinas de Turing. Análisis de la teoría de números y funciones recursivas, incluyendo el teorema de Rice y el de Recursión. Introducción a la teoría de complejidad.