ISIS-1104 Matemática Estructural y Lógica
This course teaches the fundamental math concepts needed for Systems and Computing Engineering. It provides a language that allows for the formal definition of models, reasoning over these models as well as understanding and carrying out proofs using this formal language. Specifically this course teaches the syntax and semantics of discrete math models such as sets, relations, functions, propositional and predicate logic and number theory. Proof techniques applied to these models are also taught.
Catalog page for this course