MAT227 — Discrete Mathematics
This course is an introduction to the study of non-continuous mathematics. Topics include propositional and predicate logic, formal proof techniques, number theory, set theory, functions, relations, probability, and graph theory.