This is a course designed to introduce students to mathematical abstraction and the language of mathematical proof. Topics include logic, sets, relations, integers, induction and modular arithmetic, functions, and cardinality. This course is highly recommended for students who have not been exposed to mathematical proof and intend to take advanced math courses. Note: Only one of the following courses may be credited towards graduation: Math 2196 (W141); C+IN SC 1166 (0066).