# 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

Uncounable sets

pdf

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

Peter Cameron's (London) Notes for probability

HW 24 (tex, pdf)

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

Series

warmup

Wolfram Alpha

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