I will post materials here as they arise — handouts, references, and anything else that turns out to be useful as we work through the book. The supplements below are living documents and will be updated during the semester.
Updated Oct 5
Allowed Results
This document contains a list of results that are granted without proof, or that were proven and accepted by the class.
Updated Sep 6
Supplement R: Relations and Partitions
This supplement contains a problem sequence which covers relations, equivalence relations, equivalence classes, and partitions.
Updated Sep 26
Supplement N: Induction
This supplement states the Principle of Mathematical Induction and the Well-Ordering Axiom, describes the shape of a proof by induction, and works through Theorem 1.18 as an example.
Updated Oct 1
True or False Submission
Print this sheet and use it to submit your true and false statements for Homework 14.
Elements of Style for Proofs
Dana C. Ernst's guidelines for writing mathematics, adapted from a list by Anders Hendrickson. Worth reading early and worth rereading every few weeks, since some of the rules will only start to make sense once you have written a few proofs of your own.