| Day | Date | Topic | Assignments to Do |
|---|---|---|---|
| Tuesday | Aug 25 | Introduction to CS311H | |
| Thursday | Aug 27 | Propositional Logic | Begin Pset 01 |
| Friday | Aug 28 | Discussion | No Quiz No Pset |
| Tuesday | Sept 1 | Propositional Logic and Proofs | |
| Thursday | Sept 3 | First-Order Logic | |
| Friday | Sept 4 | Discussion Section | Quiz 01 Pset 01 Due at 9p |
| Tuesday | Sept 8 | First-Order Logic Proofs | |
| Thursday | Sept 10 | Proof Methods and Techniques | |
| Friday | Sept 11 | Discussion | Quiz 02 Pset 02 Due at 9p |
| Tuesday | Sept 15 | Proof Methods and Techniques (contd.) | |
| 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 | Recursively-defined Sets/Functions Principle of Mathematical Induction |
|
| Thursday | Oct 8 | Strong Induction | |
| Friday | Oct 9 | Discussion | Quiz 05 Pset 05 Due at 9p |
| Tuesday | Oct 13 | No Class | |
| Thursday | Oct 15 | Structural Induction | |
| Friday | Oct 16 | Discussion | Quiz 06 Pset 06 Due at 9p |
| Tuesday | Oct 20 | Cardinality of Sets | |
| Thursday | Oct 22 | Number Theory | |
| Friday | Oct 23 | Discussion | Quiz 07 Pset 07 Due at 9p |
| Tuesday | Oct 27 | Number Theory | |
| 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; Euler and Hamilton Paths and Circuits. | |
| Thursday | Nov 12 | Trees; Planar Graphs | |
| Friday | Nov 13 | D09: Discussion | Quiz 09 Pset 09 Due at 9p |
| Tuesday | Nov 17 | Graph Coloring | |
| Thursday | Nov 19 | Solving Recurrence | |
| 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 |