MATH 8420 Modelos de Lógica Matemática
Investigación de los fundamentos de matemáticas, la teoría de modelos de lógica matemática y las lógicas no tradicionales. Incluye temas de teoría de conjuntos, la completitud y satisfacibilidad de los sistemas axiomáticos, construcción de modelos, análisis no estándar y lógica borrosa. Evaluación de sistemas de computación relacionados.