El curso de Lógica y Computación tiene como propósito introducir al estudiante en el pensamiento lógico formal y su aplicación en el campo de la informática y las ciencias computacionales. A través del estudio de proposiciones, conectores lógicos, razonamiento deductivo, tablas de verdad, equivalencias lógicas y métodos de simbolización, el estudiante desarrollará la capacidad de analizar, estructurar y resolver problemas de manera rigurosa y sistemática.
Asimismo, el curso busca establecer la relación entre la lógica matemática y la computación, mostrando cómo los fundamentos de la lógica se utilizan en el diseño de algoritmos, estructuras de datos, programación, verificación de software y construcción de circuitos digitales.
Con un enfoque teórico–práctico, se fomenta el razonamiento crítico, la argumentación coherente y el uso de herramientas lógicas para enfrentar desafíos en el ámbito profesional y académico de la tecnología y la ingeniería.
- Profesor: Juan Martinez