| 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 | First-order logic | |
| Friday | Sept 4 | Discussion Section | Quiz 01 Pset 01 Due at 9p |
|
| Tuesday | Sept 8 | First-Order Logic Proofs | First-order logic Proofs | |
| Thursday | Sept 10 | Proof Methods and Techniques | Proof Methods and Techniques: Direct Proof | |
| Friday | Sept 11 | Discussion | Quiz 02 Pset 02 Due at 9p |
|
| Tuesday | Sept 15 | Proof Methods and Techniques (contd.) | Proof Methods and Techniques: Indirect Proofs and other forms. | |
| Thursday | Sept 17 | Number Theory | ||
| Friday | Sept 18 | Discussion | Quiz 03 Pset 03 Due at 9p |
|
| Tuesday | Sept 22 | Sets | ||
| Thursday | Sept 24 | Sets Functions |
||
| Friday | Sept 25 | Discussion | Quiz 04 Pset 04 |
|
| Tuesday | Sept 29 | Functions Review for Exam 1 |
||
| Thursday | Oct 1 | Exam 01 | ||
| Friday | Oct 2 | No Discussion | No Quiz No Pset |
|
| Tuesday | Oct 6 | Cardinality of Sets | ||
| Thursday | Oct 8 | Recursively-defined Sets/Functions Principle of Mathematical Induction |
||
| Friday | Oct 9 | Discussion | Quiz 05 Pset 05 Due at 9p |
|
| Tuesday | Oct 13 | Strong Induction | ||
| Thursday | Oct 15 | Structural Induction | ||
| Friday | Oct 16 | Discussion | Quiz 06 Pset 06 Due at 9p |
|
| Tuesday | Oct 20 | Number Theory | ||
| Thursday | Oct 22 | Number Theory | ||
| Friday | Oct 23 | Discussion | Quiz 07 Pset 07 Due at 9p |
|
| Tuesday | Oct 27 | Combinatorics | ||
| Thursday | Oct 29 | Combinatorics | ||
| Friday | Oct 30 | Discussion | Quiz 08 Pset 08 Due at 9p |
|
| Tuesday | Nov 3 | Introduction to Graphs | ||
| Thursday | Nov 5 | Exam 02 | ||
| Friday | Nov 6 | No Discussion | — | No Quiz No Pset |
| Tuesday | Nov 10 | Connectivity and Paths | ||
| Thursday | Nov 12 | Euler and Hamilton Circuits; Trees | ||
| Friday | Nov 13 | D09: Discussion | Quiz 09 Pset 09 Due at 9p |
|
| Tuesday | Nov 17 | Planar Graphs; Euler's Formula | ||
| Thursday | Nov 19 | Graph Coloring | ||
| 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 | ||
| Thursday | Dec 3 | Program Correctness | ||
| Friday | Dec 4 | Discussion | Quiz 11 Pset 11 Due at 9p |