Reading sections WEEK 1 Wed Feb 7 What is a Proof? (First class) 1.1-6 [PS1 out] Fri Feb 9 Proof by Contradiction & Cases 1.7-9 WEEK 2 Mon Feb 12 Propositional Logic 3.1-3 Wed Feb 14 Propositional Proof, Normal Forms 3.4-5 Fri Feb 16 Predicate Formulas 3.6 [PS1 due] WEEK 3 Mon Feb 19 No Class - President's Day Tue Feb 20 Predicate Logic (Monday Schedule) 3.6 Wed Feb 21 The Well Ordering Principle 2.1-3 (omit 2.4) Thu Feb 22 MIDTERM 1 50-340 (Walker Memorial) 7:30-9PM Fri Feb 23 Sets and Sequences 4.1-2 WEEK 4 Mon Feb 26 Binary Relations 4.3-5 Wed Feb 28 Induction 5.1-3 Fri Mar 2 State Machines 6.1-3 [PS2 due] WEEK 5 Mon Mar 5 Stable Matching 6.4 Wed Mar 7 Recursive Data 1 7.1-3,7.5 omit 7.4 Fri Mar 9 Recursive Data 2 7.6-7 [PS3 due] WEEK 6 Mon Mar 12 Infinite Cardinality 8.1-8.1.3 Wed Mar 14 Diagonal Arguments 8.1.3-8.1.4 Thu Mar 15 MIDTERM 2 50-340 (Walker Memorial) 7:30PM-9PM Fri Mar 16 Russell's Paradox and ZFC 8.3-4 WEEK 7 Mon Mar 19 Digraphs and Scheduling 10.5 Wed Mar 21 Directed Walks and Paths 10.1-4 Fri Mar 23 Partial Order and equivalence 10.6,10.8-11 [PS4 due] WEEK 8 SPRING BREAK WEEK 9 Mon Apr 2 Simple Graphs: Degree and Isomorphism 12.1-4 Wed Apr 4 Bipartite Matching 12.5 Fri Apr 6 Simple Graphs: Coloring 12.6 [PS5 due] WEEK 10 Mon Apr 9 Connectivity and Trees 12.7-12 Wed Apr 11 Number Theory: GCDs 9.1-4 Thu Apr 12 MIDTERM 3 (multiple locaitons, see Stellar announcement) 7:30PM-9PM Fri Apr 13 Number Theory: Congruences 9.5-9 WEEK 11 Mon Apr 16 PATRIOT'S DAY Wed Apr 18 Number Theory: Euler's Theorem 9.10 Fri Apr 20 Number Theory: RSA Cryptographic Protocol 9.11-12 [PS6 due] WEEK 12 Mon Apr 23 Sums and Series 14.1-4 Wed Apr 25 Asymptotics 14.7 Fri Apr 27 Counting with Bijections 15.1-2 [PS7 due] WEEK 13 Mon Apr 30 Repetitions, Binomial Theorem 15.3-7 Wed May 2 Pigeonholes, Inclusion-exclusion 15.8-9 Thu May 3 MIDTERM 4 50-340 (Walker Memorial) 7:30-9PM Fri May 4 Intro to Discrete Probability 17 WEEK 14 Mon May 7 Conditional Probability 18.1-6 Wed May 9 Mutual Independence, Confidence 18.7-9 Fri May 11 Random Variables: Density Functions 19-19.3 [PS8 due] WEEK 15 Mon May 14 Expectation 19.4-6 Wed May 16 Variance and Chebyshev Bound 20.1-3 WEEK 16 Wed May 23, 1:30--4:30PM Final Exam Johnson Track