CS20 Schedule
A work in progress, being revised constantly
| Class # | Day | Date | Topic | Slides | Homework |
|---|---|---|---|---|---|
| 1 | M | 1/23 | Introduction. Pigeonhole Principle | Intro, pigeonhole | HW1 (tex, pdf) |
| 2 | W | 1/25 | Proofs | Proofs | HW 2 (tex, pdf) |
| 3 | F | 1/27 | Well Ordering Principle | Well Ordering Principle | HW 3 (tex, pdf) |
| 4 | M | 1/30 | Catch up day | ||
| 5 | W | 2/1 | Propositional logic | Propositional Logic | HW5 (tex,pdf) |
| 6 | F | 2/3 | Equivalences and Normal Forms | Normal Forms | HW6 (tex, pdf) |
| 7 | M | 2/6 | Logic and computers | Logic and computers | HW7 (tex, pdf) |
| 8 | W | 2/8 | Quantificational logic | Quantificational Logic | HW8 (tex, pdf) |
| 9 | F | 2/10 | Sets | Sets | HW9 (tex, pdf) |
| 10 | M | 2/13 | Relations and functions | Relations | HW10 (tex, pdf) |
| W | 2/15 | Catch up day | ReviewHW (tex, pdf) | ||
| F | 2/17 | Test 1 | |||
| M | 2/20 | Presidents Day | |||
| 11 | W | 2/22 | Uncountable sets | HW 11 (tex, pdf) | |
| 12 | F | 2/24 | Induction | Induction, Induction warmup | HW 12 (tex, pdf) |
| 13 | M | 2/27 | Strong induction | Strong induction, warmup | HW 13 (tex, pdf) |
| 14 | W | 2/29 | Structural induction | Structural induction, warmup | HW 14 (tex, pdf) |
| 15 | F | 3/2 | States and invariants | States and invariants, warmup | HW 15 (tex, pdf) |
| 16 | M | 3/5 | Digraphs | Digraphs, warmup | HW 16 (tex, pdf) |
| 17 | W | 3/7 | Graphs and Relations | Graphs and relations, warmup | HW 17 (tex, pdf) |
| F | 3/9 | Catch up day | |||
| M-F | 3/12-3/15 | Spring break | |||
| 18 | M | 3/19 | Undirected graphs | Undirected, warmup | HW 18 (tex, pdf) |
| 19 | W | 3/21 | Connectivity | Connectivity, warmup (Prim) | HW 19 (tex, pdf) |
| F | 3/23 | Test 2 | |||
| 20 | M | 3/26 | Coloring | Coloring, Coloring warmup | HW 20 (tex, pdf) |
| 21 | W | 3/28 | Growth Rates of Functions | Growth rates, warmup | HW 21 (tex, pdf) |
| 22 | F | 3/30 | Basic counting | Counting, warmup | HW 22 (tex, pdf) |
| 23 | M | 4/2 | Counting subsets | Counting subsets, warmup | HW 23 (tex, pdf) |
| 24 | W | 4/4 | Catch Up Day | ||
| 25 | F | 4/6 | Basic probability | Basic probability, warmup | |
| 26 | M | 4/9 | Conditional probability | Conditional, warmup | HW 25 (tex, pdf) |
| 27 | W | 4/11 | Bayes Theorem | Bayes, Monty Hall Warmup | HW 26 (tex, pdf) |
| 28 | F | 4/13 | Random variables and expectation | Random, warmup | HW 27 (tex, pdf) |
| M | 4/16 | Statistics | Statistics | HW 28 (tex, pdf) | |
| 29 | W | 4/18 | Convergent and divergent series |
HW 29 (tex, pdf) | |
| 30 | F | 4/20 | Solving recurrences |
Recurrences, warmup | HW 30 (tex, pdf) |
| 31 | M | 4/23 | Fast arithmetic | Arithmetic | HW 31 (tex, pdf) |
| 32 | W | 4/25 | Public Key Crypto | Crypto, warmup | HW 32 (tex, pdf) |
| 33 | F | 4/27 | Review and catchup | ||
| M | 4/30 1-2:30 pm |
REVIEW SESSION ON WRITING PROOFS | SCIENCE CENTER 112 | ||
| W | 5/2 10am-noon |
REVIEW SESSION Will be recorded! |
Pierce 301 | ||
| Sat | 5/5 9am |
FINAL EXAMINATION | BIOLABS 1080 |