MAT 340 Foundations of Math.
A bridge course to abstract mathematics. Emphasis is on theorem proving. Topics include fundamentals of set theory and logic, induction principle, technique of writing proofs, relations, functions, cardinality of sets, and construction of number system.