Description
This course introduces the student to the formal methods of mathematical proof. Course topics include set theory, logic, proof by contrapositive, existence proofs, proof by contradiction, mathematical induction, proof by counterexample, mathematical conjectures, equivalence relations, congruence Modulo n, the integers Modulo n and simple proofs in Number Theory. This course serves as a necessary conceptual bridge from the undergraduate study of calculus to more advanced mathematics courses involving proofs and analysis. Prerequisite: MAT 204, MAT 205 and MAT 209 are recommended.