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.  

Créditos

3

Periodo en el que se ofrece el curso

201710 - 201720

Idioma en el que se ofrece el curso

Español - Inglés