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