Schedule
A work in progress, being revised constantly
| # | Day | Date | Topic | Slides | Homework |
|---|---|---|---|---|---|
1 | M | 1/27 | Introduction. Pigeonhole Principle | ||
2 | W | 1/29 | Proofs | ||
3 | F | 1/31 | Mathematical induction I | ||
4 | M | 2/3 | Mathematical induction II | ||
5 | W | 2/5 | Propositional logic | ||
6 | F | 2/7 | Equivalences and Normal Forms | ||
7 | M | 2/10 | Logic and computers | ||
8 | W | 2/12 | Quantificational logic I | ||
9 | F | 2/14 | Quantificational Logic II | ||
M | 2/17 | Presidents day holiday | |||
W | 2/19 | Sets | |||
F | 2/21 | Midterm | |||
10 | M | 2/24 | Relations and functions | ||
11 | W | 2/26 | Uncountable sets | ||
12 | F | 2/28 | Induction | ||
13 | M | 3/3 | Strong induction | ||
14 | W | 3/5 | Structural induction | ||
15 | F | 3/7 | States and invariants | ||
16 | M | 3/10 | Digraphs | ||
17 | W | 3/12 | Graphs and Relations | ||
F | 3/14 | Catch up day | |||
M-F | 3/17-3/21 | Spring break | |||
18 | M | 3/24 | Undirected graphs | ||
19 | W | 3/26 | Connectivity | ||
F | 3/28 | Proof review | |||
20 | M | 3/31 | Coloring | ||
21 | W | 4/2 | Growth Rates of Functions | ||
22 | F | 4/4 | Basic counting | ||
23 | M | 4/7 | Counting subsets | ||
24 | W | 4/9 | Catch Up Day | ||
25 | F | 4/11 | Basic probability | ||
26 | M | 4/14 | Conditional probability | ||
27 | W | 4/16 | Bayes Theorem | ||
28 | F | 4/18 | Random variables and expectation | ||
M | 4/21 | Drunkards walks | |||
29 | W | 4/23 | Convergent and divergent series | ||
30 | F | 4/25 | Solving recurrences | ||
31 | M | 4/28 | Fast arithmetic | ||
32 | W | 4/30 | Public Key Crypto | ||
33 | F | 5/2 | Possible catchup | ||
TBD | REVIEW SESSION ON WRITING PROOFS | ||||
TBD | REVIEW SESSION | ||||
TBD | FINAL EXAMINATION |