Catálogo Graduado 2024-2025

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