El curso de Lógica Matemática proporciona al estudiante las bases formales del razonamiento lógico, esenciales para el análisis y construcción de argumentos válidos dentro del ámbito matemático y científico. Se estudian proposiciones, conectores lógicos, tablas de verdad, equivalencias, reglas de inferencia y métodos de deducción, así como los fundamentos de la lógica de predicados con cuantificadores y relaciones. El curso desarrolla la capacidad para traducir situaciones del lenguaje natural a lenguaje formal, permitiendo modelar problemas de manera precisa y rigurosa. Además, introduce técnicas de demostración como la demostración directa, la contradicción y la contrapositiva, aplicadas a problemas reales de matemática y computación. A lo largo del semestre, se integran herramientas tecnológicas que facilitan la visualización y verificación de estructuras lógicas, promoviendo un aprendizaje activo. Se enfatiza el pensamiento crítico, la claridad en la comunicación matemática y la autonomía intelectual, preparando al estudiante para cursos posteriores de matemáticas avanzadas y disciplinas afines.
- Profesor: Administrador Usuario