MATH 7410 Lógica y Lenguaje Matemático
Análisis e investigación de temas de lógica matemática. Incluye áreas como la teoría de la demostración, la teoría de lenguajes lógicos, la teoría de computabilidad, y la lógica en las ciencias de computación. Práctica y evaluación de sistemas de programación lógica y aplicaciones a ciencias de cómputos e inteligencia artificial.