Tue May 12 — Lecture 1: Propositional Logic and Truth Tables
Slides | Videos
Read and exercises: Rosen, Sections 1.1, 1.2, 1.3.
Wed May 13 — Lecture 2: Predicate Logic
Slides | Videos
Read and exercises: Rosen, Sections 1.4, 1.5.
Thu May 14 — Lecture 3: Proofs
Slides | Videos
Read and exercises: Rosen, Sections 1.6, 1.7, 1.8.
Fri May 15 — Lecture 4: Basic Set Theory
Slides | Videos
Read and exercises: Rosen, Sections 2.1, 2.2.
Mon May 18 — Lecture 5: Functions
Slides | Videos
Read and exercises: Rosen, Section 2.3.
Tue May 19 — Lecture 6: Counting
Slides | Videos
Read and exercises: Rosen, Sections 6.1, 6.3.
Wed May 20 — Lecture 7: More Counting
Slides | Videos
Read and exercises: Rosen, Sections 6.4, 6.5.
Thu May 21 — Lecture 8: Pigeonhole Principle & Induction
Slides | Videos
Read and exercises: Rosen, Sections 6.2, 5.1, 5.2.
Fri May 22 — Lecture 9: Recurrence Relations
Slides | Videos
Read and exercises: Rosen, Sections 2.4, 8.1, 8.2.
Wed May 27 — Lecture 10: Divide and Conquer
Slides | Videos
Read and exercises: Rosen, Sections 3.2, 3.3, and 8.3.
Thu May 28 — Lecture 11: Generating Functions
Slides | Videos
Read and exercises: Rosen, Section 8.4.
Additional resource: Wilf, Generatingfunctionology (free!), Chapter 1 and Sections 2.1–2.2.