MTH 3002 - Introduction to Advanced Mathematical Thinking
(4) The propositional and predicate calculus, set theory, methods of mathematical proof, inductive and recursive thinking, relations and functions, infinity. Emphasis is on rigorous proofs of mathematical statements. Offered every fall. Prerequisite(s): MTH 2775 with a grade of (C) or higher or APM 2663 with a grade of (C) or higher or permission of department.