| Day | Date | Activity | Assignment |
| Tue | 1/10 | 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.... |
| Thu | 1/12 | Section 1.1 | Read Section 1.2 (Propositional Logic) for next time, while working on highlight worksheet 1.2 as you go along. 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). |
| Tue | 1/17 | 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) |
| Thu | 1/19 | 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 |
| Tue | 1/24 | Section 1.4, and catch-up | 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 |
| Thu | 1/26 | Section 1.4 (cont.) | |
| Tue | 1/31 | Section 2.1 | 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 |
| Thu | 2/2 | Section 2.2 | 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 |
| Tue | 2/7 | Section 2.2/3.1 | You'll get ahead if you 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 |
| Thu | 2/9 | Section 3.1 | |
| Tue | 2/14 | 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 |
| Thu | 2/16 | 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 |
| Tue | 2/21 | Section 3.3/4.1 | |
| Thu | 2/23 | Section 4.1 | |
| Tue | 2/28 | Review | |
| Thu | 3/2 | Midterm | For next time, please read Section 6.1 (Graphs and Their Representations), while working on the highlight worksheet. Homework problems, pp. 498--, #3, 5, 8, 15, 16, 20, 24, 28, 41, 44, 55, 59, 64 |
| Tue | 3/7 | Spring Break | |
| Thu | 3/9 | Spring Break | |
| Tue | 3/14 | Section 6.1 | For next time, please read Section 6.2 (Trees and Their Representations), while working on the highlight worksheet. Homework problems, pp. 521, #2, 5, 8, 11, 12; 16, 17 (note the upshot of part b!), 18; 20, 23, 24; 29, 30; 34, 36; 55, 56 |
| Thu | 3/16 | Section 6.1 | |
| Tue | 3/21 | Section 6.1/6.2 | |
| Thu | 3/23 | Section 6.2 | Please read Section 6.3 (Decision Trees), while working on the highlight worksheet. Homework problems, pp. 536--, #2, 4, 6, 8, 10, 12 (don't worry about capitalization), 16, 17. |
| Tue | 3/28 | Section 6.3 | Please read Section 7.2 (Euler Paths and Hamiltonian Circuits), while working on the highlight worksheet. Homework problems, pp. 577--, #1-5, 9, 11, 16, 23, 24, 31, 33, 34 |
| Thu | 3/30 | Section 7.2 | Please read Section 7.3 (Shortest Paths and Minimal Spanning Trees), while working on the highlight worksheet. Homework problems, pp. 591--, #1, 5, 10, 11, 14, 16, 17, 18, 21, 22, 27, 28 |
| Tue | 4/4 | Section 7.3 | Please read Section 7.4 (Traversal Algorithms), while working on the highlight worksheet. Homework problems, pp. 604--, #2, 5, 9, 10, 12, 15, 19, 20, 29, 30, 36 |
| Thu | 4/6 | Section 7.4 | Please read Section 8.1 (Boolean Algebra Structure), while working on the highlight worksheet. Homework problems, pp. 631--, #1, 3, 9(a,b,c), 10(a,c,d), 12, 15 |
| Tue | 4/11 | Section 8.1 | Please read Section 8.2 (Logic Networks), while working on the highlight worksheet. Homework problems, pp. 655-, #1, 3, 4, 6, 8, 11, 14, 18, 22, 23, 29, 30, 33 |
| Thu | 4/13 | Section 8.2 | Please read Section 8.3 (Minimization), while working on the highlight worksheet. Homework problems, pp. 678--, #2, 3, 6, 8, 9, 14, 17, 21, 22, 26, 28 |
| Tue | 4/18 | Section 8.3 | Please read 9.3 (Finite State Machines), while working on the highlight worksheet. Homework problems: pp. 750--, #1, 2, 3, 6, 8, 11, 12, 14, 20 |
| Thu | 4/20 | Section 9.3 | |
| Tue | 4/25 | Section 9.3 | |
| Thu | 4/27 | Section Review: projects are due tomorrow, 4/28, at midnight | |
| Fri | 4/28 | Projects due (by midnight) | |
| Tue | 5/2 | Rest | |
| Thu | 5/4 | Comprehensive Final | |
| Fri | 5/5 | Project reviews are due (by midnight) |