COMP 2501 Estructuras Computacionales Discretas I
Discusión de conceptos de estructuras computacionales discretas. Descripción de la teoría de conjuntos y de la lógica proposicional en la solución de problemas relacionados con las ciencias de computadoras. Aplicación de la teoría de matrices y la teoría de grafos y árboles en la representación de modelos computacionales. Discusión de situaciones sociales, éticas o legales en la disciplina. Requiere 45 horas de conferencia-laboratorio.