MAT 200 is a basic course in the logic of mathematics, the construction of
proofs and the writing of proofs. The mathematical content is primarily set
theory, combinatorics and Euclidean geometry. There
is considerable focus on writing. Prerequisite: Level 4 on the mathematics
placement examination or equivalent course or permission of the instructor.
Textbook: An Introduction to Mathematical
Reasoning: numbers, sets, and fucntions, by Peter