| Day | Date | Activity | Assignment (due one week from assignment date, unless otherwise stated) |
| Mon | 1/13 | Welcome | Read Section 1.1 (Statements, Symbolic Representations, and
Tautologies) for next time, while working on highlight worksheet 1.1
as you go along. You might also get started on the homework:
Homework: p. 16--, #2, 9, 11(d,e), 15(c,d,e), 17(b,c), 19, 23, 41(a,c), 47, 48, 49, 57 Quizzes will feature problems that look a lot like the homework. There will be no quiz this week, but the quiz next week (Wednesday) will cover this section and associated homework. |
| Wed | 1/15 | Section 1.1 | Read Section 1.2 (Propositional Logic) for next time; Homework problems, p. 35--, #6, 11, 12, 15, 18, 20, 27, 35, 37, 44, 45, 49, 55, 56 (use statement letters I, K, J, O, H). |
| Mon | 1/20 | MLK Holiday | |
| Wed | 1/22 | Section 1.2 | Read Section 1.3 (Quantifiers, Predicates, and Validity), while working on highlight worksheet 1.3 as you go along. Homework problems, p. 50--, #1, 5, 8, 9(a,b), 13(b,f,j), 17, 21(a,f), 22(a-d), 25(a-d), 27(a,b), 24(a-c), 34(a,c), 36(a,c) |
| Mon | 1/27 | Section 1.3 | Read Section 1.4 (Predicate Logic), while working on highlight worksheet 1.4 as you go along. Homework problems, p. 69--, #7, 9, 10, 13, 15, 18, 22, 23, 26, 28, 31, 34, 42 |
| Wed | 1/29 | Section 1.4 | Please read Section 2.1 (Proof Techniques), while working on highlight worksheet 2.1 as you go along. Homework problems, p. 107--, #4, 10, 15, 19, 20, 32, 44, 61, 66, 71, 74 |
| Mon | 2/3 | Section 2.1 | Please read Section 2.2 (Induction), while working on highlight worksheet 2.2 as you go along. Homework problems, pp. 123--, 4, 7, 16, 22, 27, 28, 31, 32, 41, 50, 61, 55, 56 |
| Wed | 2/5 | Section 2.2 | Please read Section 3.1 (Recursive Definitions), while working on highlight worksheet 3.1 as you go along. Homework problems, pp. 171--, #1, 3, 6, 16, 18, 21, 24, 26, 42, 50, 58 |
| Mon | 2/10 | Section 3.1 | Please read read Section 3.2 (Recurrence Relations), while working on highlight worksheet 3.2 as you go along. Homework problems, pp. 197--, #1, 6, 12, 15, 21, 23, 24, 41, 48 |
| Wed | 2/12 | Section 3.1 | Read Section 3.2 (Recurrence Relations), while working on highlight worksheet 3.2 as you go along. Homework problems, pp. 197--, #1, 6, 12, 15, 21, 23, 24, 41, 48 |
| Mon | 2/17 | Section 3.2 | Please read Section 3.3 (Analysis of Algorithms), while working on highlight worksheet 3.3 as you go along. Homework problems, pp. 214--, #9, 10, 13, 14, 38, 40 |
| Wed | 2/19 | Section 3.3 | Please read Section 4.1 (Sets), while working on the highlight worksheet. Homework problems, pp. 239--, #2, 4, 6, 8, 13, 18, 26, 29, 32, 33, 35 |
| Mon | 2/24 | Section 4.1 | |
| Wed | 2/26 | Section 4.1 | |
| Mon | 3/3 | Review | |
| Wed | 3/5 | Exam 1 | |
| Mon | 3/10 | Spring Break | |
| Wed | 3/12 | Spring Break | |
| Mon | 3/17 | Section 6.1 | |
| Wed | 3/19 | Section 6.2 | |
| Mon | 3/24 | Section 6.3 | |
| Wed | 3/26 | Section 7.2 | |
| Mon | 3/31 | Section 7.3 | |
| Wed | 4/2 | Section 7.4 | |
| Mon | 4/7 | Section 8.1 | |
| Wed | 4/9 | Exam 2 | |
| Mon | 4/14 | Section 8.2 | |
| Wed | 4/16 | Section 8.3 | |
| Mon | 4/21 | Section 9.3 | |
| Wed | 4/23 | Section 9.3 | |
| Mon | 4/28 | Section 9.3 | |
| Wed | 4/30 | Review | |
| Mon | 5/5 | Final | 2:30-4:30pm |