HW Assignments
See the General Information page for homework policy.
Note, in some sense all ungraded homework problems are optional, so if one is explicitly identified as optional, you should feel free to ignore it.
Week | Date | Reading (Due next class) |
Graded HW problems (Due Wednesdays) |
Other assignments (Due next class) |
---|---|---|---|---|
1 | 1/4 | 1.0, 1.1, 1.2 | None. | 1.1: : 1,3; Questionnaire |
Graded Assignments from 1/4-1/4 due on Wed, 1/9 |
||||
2 | 1/7 | 1.3, 1.5 | 1.2: 2, 4,6 | For discussion: Explain why ''not'' and ''if…then'' form a complete set |
1/9 | 1.7 | 1.2: 8; start by giving a careful recursive definition of phi* | 1.2: 9; start by giving a careful recursive definition of phi* | |
1/11 | None |
1.7: 3,4,5 | (optional) 1.2: 10 | |
Graded HW problems from 1/7-1/11 due on Wed, 1/16 |
||||
3 | 1/14 | 2.0, 2.1 | 1.7: 8,10,11b | None |
1/16 | Handout to page 9 | 2.1: 2,5 | 2.1: 10 | |
1/18 | Handout |
Handout: 1,3,5 | Handout: 2,4 | |
Graded HW problems from 1/14-1/18 due on Wed, 1/23 |
||||
4 | 1/22 | None | Handout: 7,9,11 | (optional) Handout: 6,10 |
1/23 | 2.2 through page 89 | None (work on the midterm) | None | |
1/25 | 2.2 |
2.2 1a, 3; use the formal definition of satisfaction | 2.2 5; use the formal definition of satisfaction | |
Midterm I due on Mon, 1/28 |
Graded HW problems from 1/22-1/25 due on Wed, 1/30 |
|||
5 | 1/28 | 2.3 | 2.2: 8, 11 | 2.2: 10 |
1/30 | 2.4 to page 112 | 2.2: 16, 26, handout | 2.4: 2 | |
2/1 | 2.4 to page 116 |
2.4: 3, 4, 9 | 2.4: 5 | |
Graded HW problems from 1/28-2/1 due on Wed, 2/6 |
||||
6 | 2/4 | 2.4 | 2.4: 6, 10, 11 | None |
2/6 | 2.5 (except proof of completeness) | handout | 2.5: 3, 4 | |
2/8 | 2.6 |
2.5: 2, 8 | 2.6: 6, 8 | |
Graded HW problems from 2/4-2/8 due on Wed, 2/13 |
||||
7 | 2/11 | 2.5 | handout | None |
2/13 | None | 2.6: 2, 3, 7 | None | |
2/15 | 2.6 |
None | None | |
Midterm II due on Mon, 2/18 |
Graded HW problems from 2/11-2/15 due on Wed, 2/20 |
|||
Final paper preliminary questions due on Mon, 2/25 |
||||
Final paper first draft due on Mon, 3/4 |
||||
Final paper due on Mon, 3/11 |
||||