El curso ense?a los elementos que permiten formalizar enunciados de problemas diversos de ingenieria usando conceptos de matematica discreta (conjuntos, relaciones, funciones, induccion, etc.) y a modelar este tipo de problemas con estos elementos; ademas, se ense?a la teoria de grafos, para representar y resolver algunos de estos tipos de problemas, y la metodologia formal de analisis de algoritmos y de complejidad computacional.