3.00 Credits
This course uses set theory and logic, along with basic discrete structures, to develop skills in mathematical reasoning and applications. Number theory, modular arithmetic functions, matrices and graphs are used to develop skills in reading and writing formal proofs, invalidating arugments, and discovering counterexamples.