# 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 |