MAT 330 - Proof and Abstraction

Studies logic (including quantifiers) as well as sets, relations (including equivalence and order relations), functions (1-1, onto), and induction. Students test conjectures, write proofs, and provide counterexamples. Prereq(s): MAT 140 and any 200+-level MAT course.