WEEK 1 Wed Feb 8 What is a Proof? (First class) Ch.1-1.6 [PS1 out] Fri Feb 10 Proof by Contradiction & Cases Ch.1.7-1.9 WEEK 2 Mon Feb 13 SNOW DAY Wed Feb 15 The Well Ordering Principle Ch.2-2.3 (not 2.4) Fri Feb 17 Propositional Logic Ch.3-3.3 [PS1.probs 1,2,4 due] WEEK 3 Tue Feb 21 Normal Forms, Predicate Formulas Ch.3.4.1, 3.5-3.6 [PS1.prob3 due] (omit 3.4.2) Tue Feb 21 MIDTERM 1 7:30-9PM in 50-340 Wed Feb 22 Predicate Logic Ch.3.7 [PS2 out] Fri Feb 24 Sets & Sequences Ch.4-4.2 [NO Pset due] WEEK 4 Mon Feb 27 Binary Relations Ch.4.3-4.5 Wed Mar 1 Induction Ch.5-5.3 [PS3 out] Fri Mar 3 State Machines Ch.6-6.3 [PS2 due] WEEK 5 Mon Mar 6 Stable matching Ch.6.4 Wed Mar 8 Recursive Data, Structural Induction Ch.7-7.4 Fri Mar 10 Struct. Induction, Recursive Games Ch.7.5-7.6 [PS3 due] WEEK 6 Mon Mar 13 Infinite Cardinality Ch.8.1 Tue Mar 14 MIDTERM 2 7:30-9PM in 34-101 Wed Mar 15 Snow Day [PS4 out] Fri Mar 17 Diagonal Arguments/Set Theory Ch.8.2-8.4 [NO Pset due] WEEK 7 Mon Mar 20 Number Theory-GCD's Ch.9-9.4 Wed Mar 22 Number Theory-Congruences Ch.9.5-9.9 (omit 9.10-9.12) Fri Mar 24 Digraphs & Scheduling Ch.10.5 [PS4 due] SPRING BREAK WEEK 8 Mon Apr 3 Directed Walks & Paths Ch.10-10.4 Tue Apr 4 MIDTERM 3 7:30-9PM in 50-340 Wed Apr 5 Partial orders & equivalence Ch.10.6, 10.8-10.11 [PS5 out] (optional 10.7) Fri Apr 7 Simple Graphs: Degree & Isomorphism Ch.12.1-12.4 [NO Pset] WEEK 9 Mon Apr 10 Bipartite Matching Ch.12.5 Wed Apr 12 Coloring Ch.12.6 [PS6 out] Fri Apr 14 Connectivity & Trees Ch.12.7-12.12 [PS5 due] WEEK 10 Mon Apr 17 PATRIOTS DAY Wed Apr 19 Sums & Products Ch.14-14.5 (omit 14.6) Fri Apr 21 Asymptotics Ch.14.7 [PS6 due] WEEK 11 Mon Apr 24 Counting with Bijections Ch.15-15.2 Tue Apr 25 MIDTERM 4 7:30-9PM in 50-340 Wed Apr 26 Counting Repetitions, Binomial Thm Ch.15.3-15.7 [PS7 out] Fri Apr 28 Pigeonholes, Inclusion-Exclusion Ch.15.8-15.9 (omit 15.10) [NO Pset due] WEEK 12 Mon May 1 Intro to Discrete Probability Ch.17 Wed May 3 Conditional probablty, Independence Ch.18-18.6 [PS8 out] Fri May 5 Mutual Independence, Confidence Ch.18.7-18.9 [PS7 due] WEEK 13 Mon May 8 Random variables: Density Functions Ch.19-19.3 Wed May 10 Expectation Ch.19.4-19.5 Fri May 12 Variance & Chebyshev bound Ch.20-20.4 [PS8 due] WEEK 14 Mon May 15 Infinite Expectation, Gambler's Ruin Ch.20.7, 21.1 (omit 20.5-20.6) Wed May 17 Random walks (Last class) Ch.21.2 Thu May 25 6.042 FINAL EXAM 1:30-4:30PM in 34-101