See the course calendar for the timing of exams and problem sets. The final exam will be scheduled by the registrar; see the official exam schedule when it is available.
 Notation and Abbreviations
 Sets and Set Notation
 Elements and set construction
 Containment and equality
 Operations on sets
 Proofs involving containment and equality
 Power set of a set
 Cartesian product of two sets
 "Ifthen" and "Ifandonlyif" Statements
 Basic approach
 Converse and contrapositive
 Proof by contradiction
 P iff Q
 "For all" and "There exists" Statements
 Basic approach
 Illustrations
 Negations
 Functions
 Definition
 Notation and terminology
 Onetoone and onto functions
 Compositions and inverses
 Images and preimages
 Induction
 Definition
 How to use it
 Formal justification
 Recursion
 Equivalence Relations
 Definitions
 Equivalence classes and quotient sets
 Partitions
 Infinite Sets
 Definitions
 Size of N and Z and Q
 Size of R
 Continuum Hypothesis

