This is the web page for sections 3 and 4 of Math 311w taught by Tim Reluga in the autumn of 2015.
This course introduces students to the use of mathematics as language. Using a theorem-proof framework much like that used in Euclid’s geometry textbook 2, 400 years ago, we will study elementary number theory, modular arithmetic, set theory, formal logic, groups, and other discrete-math topics. The course will include several writing assignments to help students develop their own communications skills.
Textbook and partial solutions courtesy of Gary Mullen.