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 | Jan 13, 2026 | Tuesday | L00: Introduction
|
| Jan 15, 2026 | Thursday | L01: Propositional Logic
|
|
| Jan 16, 2026 | Friday | D00, No Quiz, No Pset
|
|
| Week 1 | Jan 20, 2026 | Tuesday | L02: Propositional Logic and Proofs
|
| Jan 22, 2026 | Thursday | L03: Propositional Logic Proofs
|
|
| Jan 23, 2026 | Friday | D01, Q01, Pset01 (due)
|
|
| Week 2 | Jan 27, 2026 | Tuesday | L04: Predicates and Quantifiers
|
| Jan 29, 2026 | Thursday | L05: Predicates and Quantifiers
|
|
| Jan 30, 2026 | Friday | D02, Q02, Pset02 (due)
|
|
| Week 3 | Feb 03, 2026 | Tuesday | L06: Predicate logic Proofs
|
| Feb 05, 2026 | Thursday | L07: Proof Techniques
|
|
| Feb 06, 2026 | Friday | D03, Q03, Pset03 (due)
|
|
| Week 4 | Feb 10, 2026 | Tuesday | L08: Proof Techniques
|
| Feb 12, 2026 | Thursday | L09: Proof Techniques
|
|
| Feb 13, 2026 | Friday | D04, Q04, Pset04 (due)
|
|
| Week 5 | Feb 17, 2026 | Tuesday | L10: Sets
|
| Feb 19, 2026 | Thursday | E01: Exam 01
|
|
| Feb 20, 2026 | Friday | No Discussion, No Quiz, No Pset
|
|
| Week 6 | Feb 24, 2026 | Tuesday | L11: Set Proofs
|
| Feb 26, 2026 | Thursday | L12: Functions
|
|
| Feb 27, 2026 | Friday | D05, Q05, Pset05 (due)
|
|
| Week 7 | Mar 03, 2026 | Tuesday | L13: Functions
|
| Mar 05, 2026 | Thursday | L14: Introduction to Principles of Mathematical Induction
|
|
| Mar 06, 2026 | Friday | D06, Q06, Pset06 (due)
|
|
| Week 8 | Mar 10, 2026 | Tuesday | L15: Principles of Mathematical Induction
|
| Mar 12, 2026 | Thursday | L16: Strong Induction
|
|
| Mar 13, 2026 | Friday | D07, Q07, Pset07 (due)
|
|
| Week 9 | Mar 17, 2026 | Tuesday | Spring Break
|
| Mar 19, 2026 | Thursday | ||
| Mar 20, 2026 | Friday | ||
| Week 10 | Mar 24, 2026 | Tuesday | L17: Structural Induction
|
| Mar 26, 2026 | Thursday | L18: More problems on Induction
|
|
| Mar 27, 2026 | Friday | D08, Q08, Pset08 (due)
|
|
| Week 11 | Mar 31, 2026 | Tuesday | L19: Introduction to Graphs
|
| Apr 02, 2026 | Thursday | E02: Exam 02
|
|
| Apr 03, 2026 | Friday | No Discussion, No Quiz, No Pset
|
|
| Week 12 | Apr 07, 2026 | Tuesday | L20: Connectivity and Paths
|
| Apr 09, 2026 | Thursday | L21: Euler and Hamilton Circuits; Trees;
|
|
| Apr 10, 2026 | Friday | D09, Q09, Pset09 (due)
|
|
| Week 13 | Apr 14, 2026 | Tuesday | L22: Planar Graphs; Euler’s Formula;
|
| Apr 16, 2026 | Thursday | L23: Graph Coloring
|
|
| Apr 17, 2026 | Friday | D10, Q10, Pset10 (due)
|
|
| Week 14 | Apr 21, 2026 | Tuesday | L24: Algorithm Complexity; Solving recurrences
|
| Apr 23, 2026 | Thursday | L25: Program Correctness
|
|
| Apr 24, 2026 | Friday | D11, Q11, Pset11 (due)
|
