Catálogo Graduado 2023-2024

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.

Credits

3