| Day | Date | Topic | Reading / Videos to Watch | Assignments to Do |
|---|---|---|---|---|
| Tuesday | Aug 25 | Introduction to CS311H | ||
| Thursday | Aug 27 | Propositional Logic | Propositional Logic videos | Begin Pset 01 |
| Friday | Aug 28 | Discussion | No Quiz No Pset |
|
| Tuesday | Sept 1 | Propositional Logic and Proofs | Logic and Proofs videos | |
| Thursday | Sept 3 | First-Order Logic | Logic Proofs videos | |
| Friday | Sept 4 | Discussion Section | Quiz 01 Pset 01 Due at 9p |
|
| Tuesday | Sept 8 | First-Order Logic Proofs | Predicates and Quantifiers videos | |
| Thursday | Sept 10 | Proof Methods and Techniques | Predicates and Quantifiers videos | |
| Friday | Sept 11 | Discussion | Quiz 02 Pset 02 Due at 9p |
|
| Tuesday | Sept 15 | Proof Methods and Techniques (contd.) | Predicate Logic Proof videos | |
| Thursday | Sept 17 | Number Theory | Proof Techniques videos | |
| Friday | Sept 18 | Discussion | Quiz 03 Pset 03 Due at 9p |
|
| Tuesday | Sept 22 | Number Theory | Proof Techniques videos | |
| Thursday | Sept 24 | Sets | Proof Techniques videos | |
| Friday | Sept 25 | Discussion | Quiz 04 Pset 04 |
|
| Tuesday | Sept 29 | Review | Sets videos | |
| Thursday | Oct 1 | Exam 01 | ||
| Friday | Oct 2 | No Discussion | No Quiz No Pset 02 |
|
| Tuesday | Oct 6 | Functions | Set Proofs videos | |
| Thursday | Oct 8 | Cardinality of Sets | Functions videos | |
| Friday | Oct 9 | Discussion | Quiz 05 Pset 05 Due at 9p |
|
| Tuesday | Oct 13 | Recursively-defined Sets/Functions | Functions videos | |
| Thursday | Oct 15 | Principle of Mathematical Induction | Induction introduction videos | |
| Friday | Oct 16 | Discussion | Quiz 06 Pset 06 Due at 9p |
|
| Tuesday | Oct 20 | Strong Induction | Mathematical Induction videos | |
| Thursday | Oct 22 | Structural Induction | Strong Induction videos | |
| Friday | Oct 23 | Discussion | Quiz 07 Pset 07 Due at 9p |
|
| Tuesday | Oct 27 | Combinatorics | Structural Induction videos | |
| Thursday | Oct 29 | Combinatorics | Induction practice videos | |
| Friday | Oct 30 | Discussion | Quiz 08 Pset 08 Due at 9p |
|
| Tuesday | Nov 3 | Introduction to Graphs | Graph Theory videos | |
| Thursday | Nov 5 | Exam 02 | ||
| Friday | Nov 6 | No Discussion | — | No Quiz No Pset |
| Tuesday | Nov 10 | Connectivity and Paths | Connectivity and Paths videos | |
| Thursday | Nov 12 | Euler and Hamilton Circuits; Trees | Circuits and Trees videos | |
| Friday | Nov 13 | D09: Discussion | Quiz 09 Pset 09 Due at 9p |
|
| Tuesday | Nov 17 | Planar Graphs; Euler's Formula | Planar Graphs videos | |
| Thursday | Nov 19 | Graph Coloring | Graph Coloring videos | |
| Friday | Nov 20 | Discussion | Quiz 10 Pset 10 Due at 9p |
|
| Monday–Friday | Nov 23–27 | Thanksgiving Break | — | — |
| Tuesday | Dec 1 | Algorithm Complexity; Solving Recurrences | Complexity and Recurrence videos | |
| Thursday | Dec 3 | Program Correctness | Program Correctness videos | |
| Friday | Dec 4 | Discussion | Quiz 11 Pset 11 Due at 9p |