Subsection 2.4 Detailed Calendar
Table 2.4.1 shows the schedule for the semester. Here you can find the dates of all the lectures, problem sets, quizzes, and exams. This schedule is subject to change during the semester. However, Exam dates are final. Download a graphical pdf version of this calendar
here.
| Week | Date | Day | Topic |
|---|---|---|---|
| Week 0 | Aug 26, 2025 | Tuesday | L00: Introduction |
| Aug 28, 2025 | Thursday | L01: Propositional Logic |
|
| Aug 29, 2025 | Friday | D00: No Quiz, No Pset |
|
| Week 1 | Sep 02, 2025 | Tuesday | L02: Propositional Logic and Proofs |
| Sep 04, 2025 | Thursday | L03: Propositional Logic Proofs |
|
| Sep 05, 2025 | Friday | D01: Q01, Pset01 (due) |
|
| Week 2 | Sep 09, 2025 | Tuesday | L04: Predicates and Quantifiers |
| Sep 11, 2025 | Thursday | L05: Predicates and Quantifiers |
|
| Sep 12, 2025 | Friday | D02: Q02, Pset02 (due) |
|
| Week 3 | Sep 16, 2025 | Tuesday | L06: Predicate logic Proofs |
| Sep 18, 2025 | Thursday | L07: Proof Techniques |
|
| Sep 19, 2025 | Friday | D03: Q03, Pset03 (due) |
|
| Week 4 | Sep 23, 2025 | Tuesday | L08: Proof Techniques |
| Sep 25, 2025 | Thursday | L09: Proof Techniques |
|
| Sep 26, 2025 | Friday | D04: Q04, Pset04 (due) |
|
| Week 5 | Sep 30, 2025 | Tuesday | L10: Sets |
| Oct 02, 2025 | Thursday | E01: Exam 01 |
|
| Oct 03, 2025 | Friday | No Quiz, No Pset |
|
| Week 6 | Oct 07, 2025 | Tuesday | L11: Set Proofs |
| Oct 09, 2025 | Thursday | L12: Functions |
|
| Oct 10, 2025 | Friday | D05: Q05, Pset05 (due) |
|
| Week 7 | Oct 14, 2025 | Tuesday | L13: Functions |
| Oct 16, 2025 | Thursday | L14: Introduction to Principles of Mathematical Induction |
|
| Oct 17, 2025 | Friday | D06: Q06, Pset06 (due) |
|
| Week 8 | Oct 21, 2025 | Tuesday | L15: Principles of Mathematical Induction |
| Oct 23, 2025 | Thursday | L16: Strong Induction |
|
| Oct 24, 2025 | Friday | D07: Q07, Pset07 (due) |
|
| Week 9 | Oct 28, 2025 | Tuesday | L17: Structural Induction |
| Oct 30, 2025 | Thursday | L18: More problems on Induction |
|
| Oct 31, 2025 | Friday | D08: Q08, Pset08 (due) |
|
| Week 10 | Nov 04, 2025 | Tuesday | L19: Introduction to Graphs |
| Nov 06, 2025 | Thursday | E02: Exam 02 |
|
| Nov 07, 2025 | Friday | No Quiz, No Pset |
|
| Week 11 | Nov 11, 2025 | Tuesday | L20: Connectivity and Paths |
| Nov 13, 2025 | Thursday | L21: Euler and Hamilton Circuits; Trees; |
|
| Nov 14, 2025 | Friday | D09: Q09, Pset09 (due) |
|
| Week 12 | Nov 18, 2025 | Tuesday | L22: Planar Graphs; Euler’s Formula; |
| Nov 20, 2025 | Thursday | L23: Graph Coloring |
|
| Nov 21, 2025 | Friday | D10: Q10, Pset10 (due) |
|
| Week 13 | Thanksgiving Break |
||
| Week 14 | Dec 02, 2025 | Tuesday | L24: Algorithm Complexity; Solving recurrences |
| Dec 04, 2025 | Thursday | L25: Program Correctness |
|
| Dec 05, 2025 | Friday | D11: Q11, Pset11 (due) |
