Thu Aug 20 — Lecture 1: Propositional Logic and Truth Tables
Class Slides
Read and exercises: Rosen, Sections 1.1, 1.2, 1.3.
Videos | Video Slides
Tue Aug 25 — Lecture 2: Predicate Logic
Class Slides
Read and exercises: Rosen, Sections 1.4, 1.5.
Videos | Video Slides
Thu Aug 27— Lecture 3: Proofs
Class Slides
Read and exercises: Rosen, Sections 1.6, 1.7, 1.8.
Videos | Video Slides
Tue Sep 1 — Lecture 4: Basic Set Theory
Class Slides
Read and exercises: Rosen, Sections 2.1, 2.2.
Videos | Video Slides
Thu Sep 3 — Lecture 5: Functions
Class Slides
Read and exercises: Rosen, Section 2.3.
Videos | Video Slides
Tue Sep 8 — Lecture 6: Counting
Class Slides
Read and exercises: Rosen, Sections 6.1, 6.3.
Videos | Video Slides
Thu Sep 10 — Lecture 7: More Counting
Class Slides
Read and exercises: Rosen, Sections 6.4, 6.5.
Videos | Video Slides
Tue Sep 15 — Lecture 8: Pigeonhole Principle & Induction
Class Slides
Read and exercises: Rosen, Sections 6.2, 5.1, 5.2.
Videos | Video Slides
Thu Sep 17 — Lecture 9: Recurrence Relations
Class Slides
Read and exercises: Rosen, Sections 2.4, 8.1, 8.2.
Videos | Video Slides
Tue Sep 22 — Lecture 10: Divide and Conquer
Class Slides
Read and exercises: Rosen, Sections 3.2, 3.3, and 8.3.
Videos | Video Slides