| 1M |
02/09 |
Propositions |
Chapter 1 |
Intro Survey
|
| 1W |
02/11 |
Logic |
Chapter 2 |
|
| 1F |
02/13 |
Quiz 1, Lab 1 (Markdown) |
|
Problem Set 1 |
| 2M |
02/16 |
Sets |
Chapter 3.1 - 3.2 |
|
| 2W |
02/18 |
Quantifiers |
Chapter 4 |
|
| 2F |
02/20 |
Quiz 2, Lab 2 (Python) |
Chapter 7 |
Problem Set 2 |
| 3M |
02/23 |
Functions |
Chapter 5 |
|
| 3W |
02/25 |
Complexity |
Chapter 8 |
|
| 3F |
02/27 |
Quiz 3, Lab 3 (Runtime) |
|
Problem Set 3 |
| 4M |
03/02 |
Recurrences |
Chapter 9.1 - 9.2 |
|
| 4W |
03/04 |
Tree Theorem |
Chapter 9.3 |
|
| 4F |
03/06 |
Quiz 4, Lab 4 (Sorting) |
|
Problem Set 4 |
| 5M |
03/09 |
Deduction |
Chapter 10 |
|
| 5W |
03/11 |
Direct Proofs |
Chapter 11.1 - 11.2 |
|
| 5F |
03/13 |
Midterm 1 |
|
|
| 6M |
03/16 |
Indirect Proofs |
Chapter 11.3 - 11.5 |
|
| 6W |
03/18 |
Induction |
Chapter 12.1 |
|
| 6F |
03/20 |
Quiz 5, Lab 5 (More Induction) |
|
Problem Set 5 |
|
|
Spring Break |
|
|
| 7M |
03/30 |
Strong Induction |
Chapter 12.2 - 12.4 |
|
| 7W |
04/01 |
Graphs |
Chapter 13 |
|
| 7F |
04/03 |
Quiz 6, Lab 6 (middgraph) |
|
Problem Set 6 |
| 8M |
04/06 |
Trees |
Chapter 14 |
|
| 8W |
04/08 |
Graph Algorithms I |
Chapter 15.1 - 15.2 |
|
| 8F |
04/10 |
Quiz 7, Lab 7 (Graph Proofs) |
|
Problem Set 7 |
| 9M |
04/13 |
Graph Algorithms II |
Chapter 15.3 - 15.4 |
|
| 9W |
04/15 |
Midterm 2 |
|
|
| 9F |
04/17 |
Spring Student Symposium (no class) |
|
|
| 10M |
04/20 |
Counting |
Chapter 16.1 - 16.2 |
|
| 10W |
04/22 |
Combinations and Permutations |
Chapter 16.3 |
|
| 10F |
04/24 |
Quiz 8, Lab 8 (Stars and Bars) |
|
Problem Set 8 |
| 11M |
04/27 |
Probability |
Chapter 17.1 |
|
| 11W |
05/29 |
Conditional Probability |
Chapter 17.2 |
|
| 11F |
05/01 |
Quiz 9, Lab 9 (Bayes' Rule) |
|
Problem Set 9 |
| 12M |
05/04 |
Random Variables |
Chapter 18.1 |
|
| 12W |
05/06 |
Linearity of Expectation |
Chapter 18.2 |
|
| 12F |
05/08 |
Quiz 10, Lab 10 (Randomized Algorithms) |
|
Problem Set 10 |
| 13M |
05/11 |
Review |
|
|
| 13 |
TBD |
Final Exam |
|
|