MAT 2071 – Introduction to Proofs and Logic

The course is designed to prepare students for an advanced mathematics curriculum by providing a transition from Calculus to abstract mathematics. The course focuses on the processes of mathematical reasoning, argument, and discovery. Topics include propositional and first order logic, learning proofs through puzzles and games, axiomatic approach to group theory, number theory, and set theory, abstract properties of relations and functions, elementary graph theory, sets of different cardinalities, and the construction and properties of real numbers.

Credit(s): 4
Pre-or corequisite: MAT 1575 Equivalent to old course number MAT 2070.

Syllabus