A basic course in the logic of mathematics, the construction of proofs and the writing of proofs. The mathematical content is primarily logic and proofs, set theory, combinatorics, functions and relations. There is considerable focus on writing. May not be taken for credit in addition to MAT 250.
Prerequisite: Level 4 on the mathematics placement examination or equivalent course or permission of the instructor