| Monday | Wednesday | Friday |
|---|---|---|
| August 27 §1.1 Propositional Logic |
August 29 §1.2 Propositional Equivalences R: Misc practice |
|
| September 1 Labor Day |
September 3 §1.3 Predicates and Quantifiers R: Misc practice |
September 5 §1.4, Nested Quantifiers #1 assigned R: Practice for #1 |
| September 8 §1.5 Rules of Inference |
September 10 §1.6 Introduction to Proofs R: Practice for #1 |
September 12 §1.7 Proof Methods and Strategy #2 assigned R: Practice for #2 |
| September 15 §2.1 Sets #1 due |
September 17 § 2.2 Set Operations R: Practice for #2 |
September 19 §2.3 Functions #3 assigned R: Practice for #3 |
| September 22 §2.4 Sequences and Summations #2 due |
September 24 §3.1-3.3 Algorithms and Complexity R: Practice for #3 |
September 26 §3.1-3.3 Algorithms and Complexity R: Practice for midterm 1 |
| September 29 §3.1-3.3 Algorithms and Complexity #3 due |
October 1 Midterm 1 Review R: Practice for midterm 1 |
October 3 Midterm 1 R: Midterm 1 results |
| October 6 §4.1 Mathematical Induction |
October 8 §4.2 Strong Induction and Well-Ordering R: Midterm 1 results |
October 10 §4.5 Program Correctness #4 assigned R: Practice for #4 |
| October 13 §4.3 & §7.1 Recursive Definitions and Recurrence Relations |
October 15 §4.3 Structural Induction R: Practice for #4 |
October 17 §4.4 Recursive Algorithms #5 assigned R: Practice for #5 |
| October 20 §7.3 Divide-and-Conquer Algorithms, Recursion Trees, Induction #4 due |
October 22 §7.3 Divide-and-Conquer Algorithms, Recursion Trees, Induction R: Practice for #5 |
October 24 §7.3 Master Theorem #6 assigned R: Practice for #6 |
| October 27 §7.3 Master Theorem #5 due |
October 29 §7.2 Solving Linear Recurrence Relations R: Practice for #6 Thursday October 30: Automatic 'W' drop deadline |
October 31 §8.1 Relations R: Practice for midterm 2 |
| November 3 §8.1, 8.2 Relations #6 due |
November 5 Midterm 2 Review R: Practice for midterm 2 |
November 7 Midterm 2 R: Midterm 2 results |
| November 10 §8.5 Equivalence Relations |
November 12 §9.1 Graphs R: Midterm 2 results |
November 14 §9.2, 9.3 Representing Graphs #7 assigned R: Practice for #7 |
| November 17 §10.1 Introduction to Trees |
November 19 §10.1 Introduction to Trees R: Practice for #7 |
November 21 §12.1 Languages and Grammars #8 assigned R: Practice for #8 |
| November 24 §12.1 Languages and Grammars #7 due |
November 26 §12.3 Finite-State Machines R: Practice for #8 |
November 28 Thanksgiving |
| December 1 No class | December 3 Practice for Final R: Practice for Final | December 5 Final exam review R: Practice for Final #8 due |
Final exam: Friday December 12, 7:30am - 10am