All information in the future is subject to change, though this calendar represents my aims.

Problems listed next to a given date are to be started on that date. They will be collected on the following Wednesday.

 # Date Topic Reading Problems Extras 1 9/6 Introduction Syllabus Logic 1.1-1.3 2.1-2.2 Sign up on Piazza Course survey 1.1: 11, 13 1.2: 4, 9 1.3: 2, 4, 12, 20 2.1: 5, 8, 13, 17, 35, 37, 46, 52 due: 9/13 2 9/11 Boolean algebra Conditionals Arguments 2.3-2.5 2.2: 10, 15, 21, 35, 43, 50 2.3: 10, 13, 23, 28, 29, 32, 40 due: 9/13 Slides from Dianna: 3 9/13 Digital circuits Digital arithmetic 3.1-3.2 2.4: 2, 6, 10, 21, 31 2.5: 5, 11, 21, 26, 34, 37, 45, 47 due: 9/20 4 9/18 Quantifiers 3.3-3.4 3.1: 4c, 5b, 15, 16b, 20, 29 3.2: 2, 4b, 4d, 8, 14, 25c, 44 due: 9/20 Slides from Dianna: 5 9/20 Nested quantifiers 4.1-4.2 3.3: 4c, 11e, 38, 40b, 43, 61 3.4: 14, 15, 19, 22, 27, 32, 34 due: 9/27 Quantifiers exercise from class Slides from Dianna: 6 9/25 Proof techniques 4.3-4.5 4.1: 6, 10, 13, 28, 37, 41, 56 4.2: 10, 18, 19, 20, 25, 32, 36, 38 due: 9/27 Slides from Dianna: 7 9/27 More proof techniques and applications 4.6-4.8 4.3: 16, 20, 39, 43, extra credit: 49 4.4: 25, 52 4.5: 11, 13, 25 due: 10/4 8 10/2 Proof by contradiction Review 9 10/4 EXAM 1 5.1 4.6: 4, 12, 22, 28, 35 due: 10/11 10 10/9 Proof by contradiction Sequences 5.2-5.3 5.1: 7, 15, 17, 28, 50, 54, 61, 79 due: 10/11 11 10/11 Induction 10/16 FALL BREAK 10/18 FALL BREAK 12 10/23 Induction 5.4-5.6 5.2: 7, 11, 14, 23, 36 5.3: 10, 17, 23, 29, 35, 37 due: 10/25 13 10/25 Induction in programming 5.9 6.1-6.2 5.4: 2, 15, 18, 19, 21 (use proof by contradiction), 25 5.5: 2, 7, 9, 12 5.6: 8, 14, 20, 32, 40 due: 11/1 Skipped: 5.7-5.8, but you may enjoy reading these anyway 14 10/30 Sets Skim 6.3 6.4 7.1-7.2 5.9: 8 (NB: s0 here means to append the digit 0 after s, not multiplication), 11, 16, 18, extra credit: 20 6.1: 12, 25, 33c, 35c-d due: 11/1 Skipped: 6.3 15 11/1 Functions 7.3 8.1-8.2 6.2: 14, 22, 31, 41 7.1: 16, 34, 36, 47 7.2: 8, 17, 22, 29 due: 11/8 For fun: 6.4: 11, 16, 23, 25 Skipped: 7.4 16 11/6 Relations 8.3-8.5 7.3: 8, 17, 22 8.1: 11 8.2: 10, 13, 22, 32, 35, 40, 52 due: 11/8 17 11/8 Equivalence classes Relations in computer science Review Practice exam 2 (no solutions will be posted; post your own on Piazza!) 18 11/13 EXAM 2 9.1-9.2 8.3: 4, 23, 37, 46 8.5: 4, 7, 32, 41 due: 11/15 19 11/15 Counting 9.3-9.5 9.1: 6, 13b, 19, 22, 33 9.2: 2, 14c, 15, 29, 30, 33 due: 11/22 20 11/20 Permutations and combinations 9.6, 9.8-9.9 9.3: 2, 10, 17, 21, 22 9.4: 11, 16, 19, 30, 32 9.5: 7, 16, 20, 28 due: 11/22 Skipped: 9.7 (though it really is interesting) 21 11/22 Formal verification of discrete mathematics This topic will not be tested, but if you come, you will learn a fun programming language. demo.v THANKSGIVING BREAK 22 11/27 Expected value Bayes theorem 10.1-10.2 9.8: 5, 15, 18, 20, 21, 23 9.9: 15, 24, 28, 29, 30, 33 due: 11/29 23 11/29 Graphs 10.5-6 10.1: 20, 28, 30, 33, 44, 48 10.2: 2, 8, 11, 35, 48, 49 due: 12/6 Skipped: 10.3-4 24 12/4 Trees 10.7 10.5: 3, 6, 16, 23, 26 due: 12/6 25 12/6 Spanning trees 10.7: 10, 11, 14, 19, 29 due: 12/13 26 12/11 TBD Prepare review questions 27 12/13 Review

There will be a self-scheduled final exam during the normal exam period.