| Date | Lecture Topics | Sections | HW Assigned | HW Due |
|---|---|---|---|---|
| Th 08/20 | Introduction | Homework 0 examples.tex | ||
| Tu 08/25 | Propositional Logic | Rosen 1.1 - 1.3 | ||
| Th 08/27 | Propositional Equivalences | Rosen 1.4 - 1.5 | Homework 1 .tex .pdf | Homework 0 |
| Tu 09/01 | Predicates & Quantifiers | Rosen 1.6 | ||
| Th 09/03 | Rules of Inference | Rosen 1.7 - 1.8 | Homework 2 .tex .pdf | Homework 1 |
| Tu 09/08 | Proof Methods | Rosen 1.7 - 1.8 | ||
| Th 09/10 | Sets | Rosen 2.1 - 2.3 | Homework 3 .tex .pdf | Homework 2 |
| Tu 09/15 | Functions | Rosen 2.1 - 2.3 | ||
| Th 09/17 | Cardinality | Rosen 2.3, 2.5 | Homework 4 .tex .pdf | Homework 3 |
| Tu 09/22 | Sequences and Summations | Rosen 2.4 | ||
| Th 09/24 | TBD | Homework 5 .tex .pdf | Homework 4 | |
| Tu 09/29 | Midterm review | |||
| Th 10/01 | Midterm | Homework 5 | ||
| 10/06 | Induction I | Rosen 5.1 | ||
| 10/08 | Induction II | Rosen 5.2 | Homework 6 .tex .pdf | |
| 10/13 | Recursion I | Rosen 5.3 | ||
| 10/15 | Recursion II | Rosen 5.4 | Homework 7 .tex .pdf | Homework 6 |
| 10/20 | Counting | Rosen 6.1 | ||
| 10/22 | Class Canceled | Homework 7 | ||
| 10/27 | Pigeonhole Principle | Rosen 6.2 | ||
| 10/29 | Permutations and Combinations | Rosen 6.3 - 6.4 | Homework 8 .tex .pdf | |
| 11/03 | Probability Theory | Rosen 7.1 | ||
| 11/05 | Conditional Prob. and Bayes | Rosen 7.2 - 7.3 | Homework 9 .tex .pdf | |
| 11/10 | Graph Theory | Rosen 10.1 - 10.3 | ||
| 11/12 | Connectivity & Euler Path | Rosen 10.4 - 10.5 | Graph Practice .pdf key | Homework 9 |
| 11/07 | Extra Office Hour | 10:00 -- 11:30 am | ||
| 11/14 | Extra Review Class | 10:00 -- 11:30 am | ||