COMP 2501 Estructuras Computacionales Discretas I
Aplicación de lógica proposicional, reglas de inferencia, teoría y álgebra de conjuntos en la solución de problemas dirigidos a las ciencias de computadoras. Comprobación de enunciados mediante inducción matemática. Aplicación de la teoría de grafos y árboles en la representación de modelos. Introducción a la teoría de matrices. Requiere 45 horas de conferencia-laboratorio.