CSCI E-120 Schedule

A work in progress, being revised constantly

Day Date Topic Slides Homework
Tu 1/24 Introduction Intro  
Th 1/26 Pigeonhole, Proofs Pigeonhole, Proofs  
Tu 1/31 Well Ordering Principle WOP HW A (tex, pdf)
Th 2/2 Propositional logic Logic  
Tu 2/7 Equivalences and Normal Forms Normal Forms HW B (tex, pdf)
Th
2/9 Logic and computers, Quantificational logic Logic and Computers, Quantificational Logic HW C (tex, pdf)
Tu 2/14 Sets Sets HW D (tex, pdf)
Th 2/16 Relations and functions, Uncountable sets Relations HW E (tex, pdf)
F 2/17 Test 1   HW F (tex, pdf)
Tu 2/21 No class    
Th 2/23 Uncountable sets Uncountable sets HW G (tex, pdf)
Tu 2/28 Induction, strong induction Induction, strong induction HW H (tex, pdf)
Th 3/1 Structural Induction Structural Induction HW I (tex, pdf)
Tu 3/6 States and Invariants Invariants HW J (tex, pdf)
Th 3/8 Digraphs, Graphs and Relations Digraphs, Graphs and relations HW K (tex, pdf)
M-F 3/12-3/15 Spring break    
Tu 3/20 Catch up and review   HW L (tex, pdf)
Th 3/22 Undirected graphs, connectivity Graphs, connectivity  
F 3/23 Test 2    
Tu 3/27 Growth rates of functions Growth rates HW M (tex, pdf)
Th 3/29 Basic counting Counting HW N (tex, pdf)
Tu 4/3 Catch up day   HW O (tex, pdf)
Th 4/5 Counting subsets Counting subsets HW P (HomeworkP.tex, pdf)
Tu 4/10 Basic probability Probability HW Q (tex, pdf)
Th 4/12 Conditional probability, Bayes Theorem Conditional, Bayes HW R (tex, pdf)
Tu 4/17 Random variables, expectation Random HW S (tex, pdf)
Th 4/19 Statistics, series Statistics, Series HW T (tex, pdf)
Tu 4/24 Recurrences Recurrences HW U (tex, pdf)
Th 4/26 Fast arithmetic, Public key crypto   HW V (tex,pdf)
Tu 5/1 Review    
Sat 5/5, 3-5pm FINAL EXAMINATION Emerson Hall 106