El objetivo de este curso es presentar al estudiante los conceptos y las aplicaciones más importantes relacionadas con las matemáticas discretas para proveer de las bases matemáticas necesarias en la resolución de muchos de los problemas de la vida real tal y como encontrar rutas óptimas para la entrega de productos entre otros. El curso incluye los fundamentos de la lógica proposicional, de la teoría de conjuntos y de la teoría de grafos presentados a través de aplicaciones computaciones lo que permitirá al alumno adquirir además de los conceptos matemáticos habilidad en el uso de programas para la resolución de problemas. Además se expone al alumno al desarrollo de algunas teorías matemáticas; con sus correspondientes axiomatizaciones, teoremas y demostraciones. Esta actividad, aparte de sus interesantes aspectos computacionales, tiene el poder formativo de la capacidad de enfrentarse de manera fundamentada y rigurosa a las materias generales de estudio y actividad profesional. En esta actividad se hace aparecer de manera natural las axiomatizaciones y los modelos matemáticos a través de la inspección de situaciones computacionales concretas, en las cuales también se comprueba las consecuencias de los modelos.