Jan 21 - Intro to Induction
Jan 26 - Order Axioms
Jan 28 - Tower of Hanoi (worksheet)
Feb 2 - Strong Induction, Fundamental Theorem of Arithmetic (Existence)
Feb 4 - Strong Induction, continued
Feb 9 - Intro to Sets (worksheet)
Feb 11 - Operations on Sets (worksheet) , a double-containment proof , power sets exercise
Feb 9 & Feb 11 - Sets & Set Operations
Feb 16 - Power Sets , Binary Operations (part 1)
Feb 18 - Binary Operations (part 2)
Feb 23 - Proof Techniques (part 1) , Some Short Proofs (worksheet)
Mar 2 - Proof Techniques (part 2) , The Distributive Property
Mar 4 - Divisibility Lemmas , Divisibility Lemmas (worksheet)
Mar 23 & 25 - gcds & Bezout's Identity , Greatest Common Divisors (worksheet)
Mar 30 - Intro to Modular Arithmetic
Apr 1 - Modular Arithmetic (worksheet) , Divisibility Tricks (bonus worksheet)
Apr 6 - Inverses mod m , Inverses mod m (worksheet)
Apr 8 - Cancellation in mod m
Apr 8 & 13 - Surjective & Injective Functions , Surjective & Injective Functions (worksheet)
Apr 20 - Inverse Functions (worksheet) , Bijections/Inverses & Cancellation Lemmas for Functions
Apr 22 - Intro to Cardinality & Proof that |N|=|Z|
Apr 27 - Countable Sets
Apr 29 - The Cardinality of the Rationals (worksheet) , Listing Q
May 4 - Cardinalities of (0,1) and R , Cantor's Game (worksheet)
May 6 - Schröder-Bernstein Theorem, Cantor's Theorem, Continuum Hypothesis
Practice Exam 1
Practice Exam 2
Homework 1
Homework 2
Homework 3
Homework 4
Homework 5
Homework 6
Homework 7
Homework 8
Homework 9
Homework 10