Course code:



M - Intermediate

Class size limit:


Lab fee:


Typically offered:

Upon occasion

This course is an introduction to mathematical structures, proof techniques, and the language and style of formal mathematics.  Topics to be covered include: sets and functions, logic, mathematical induction, and other methods of proof.  As time permits we will cover selected topics from combinatorics and number theory, as well as other key results and ideas from mathematics, such as Russel’s paradox, the Peano axioms, and the Goldbach and twin prime conjectures.  Throughout the course we will emphasize clear mathematical exposition and methods of proof.  In addition to gaining an understanding of the topics listed above, students who complete this course will be able to: read and understand mathematical exposition; think critically as mathematicians and present convincing arguments; and read and write formal proofs. This class will help prepare students for further advanced study in mathematics, economics, and physics. It will also be of value to those who wish to explore the logical structure of mathematics, gain increased facility with abstract mathematical thought, or sharpen analytic and critical reasoning skills.  This course will be taught in a seminar style; students will frequently be asked to prepare proofs and examples for discussion in class and to work collaboratively on problems. Evaluation will be based on problem sets and active class participation.  


Calculus II; permission of instructor.

Always visit the Registrar's Office for the official course catalog and schedules.