Las estructuras discretas proporcionan el fundamento teórico para la ciencia de la computación. Este curso introduce las herramientas matemáticas esenciales utilizadas para modelar problemas computacionales, incluyendo lógica, teoría de conjuntos y funciones. Comprender estos conceptos es crítico para desarrollar habilidades de razonamiento riguroso y para el estudio posterior de algoritmos, bases de datos y lenguajes formales.