ISIS 1104 Matemática Estructural y Lógica
El objetivo de este curso es enseñar a los estudiantes los conceptos básicos de matemáticas discretas necesarios para la ingeniería de sistemas. El curso debe proveer al estudiante un lenguaje para poder describir modelos formalmente, razonar sobre estos formalismos, entender y desarrollar demostraciones sobre los modelos. Al final del curso se esPeñaría que el estudiante pueda: Entender la notación y la semántica de modelos como conjuntos, relaciones, funciones, aritmética, lógica. Ser capaz de aplicar razonamiento matemático aplicando estrategias de demostración como inducción matemática y estructural, deducción, principio del palomar, etc.
Página del catálogo en este curso