Asignatura obligatoria en el Plan de Estudios de la carrera de INGENIERIA INFORMATICA. Está orientada a temas matemáticos, tales como sistemas algebraicos y lenguajes formales, recurrencia y técnicas de conteo, grafos y árboles binarios, retículos, álgebras de Boole y circuitos combinatorios, de interés en las áreas de estructuras de datos, la teoría de los lenguajes de computación, los métodos de optimización y el análisis de algoritmos.