Catálogo General 2023-2024

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.

Credits

3

Prerequisite

MATH 1500 o MAEC 2140