A transitional course to prepare students for upper- level courses in mathematics. Logic, proof techniques, set theory, functions, countable and uncountable sets, finite induction, equivalence relations. Selected topics including discrete mathematics. Prereq: MAT 222 or permission of the instructor.