Una introducción progresiva a las estructuras, técnicas y herramientas matemáticas que sustentan los algoritmos, la lógica computacional, los grafos, la criptografía y los lenguajes formales.
La matemática discreta estudia objetos que pueden contarse o separarse en elementos individuales. Es una base esencial de la programación porque permite razonar sobre algoritmos, estructuras de datos, redes, seguridad, lógica y lenguajes de computación.
El curso parte de las técnicas de demostración y las recurrencias; continúa con complejidad, aritmética modular, relaciones y álgebra de Boole; y culmina con grafos, autómatas y aplicaciones concretas en bases de datos, inteligencia artificial y ciberseguridad.