#### 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.

(Due next class)
(Due Wednesdays)
Other assignments
(Due next class)

1 1/4 1.0, 1.1, 1.2 None. 1.1: : 1,3; Questionnaire
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

Marcia Groszek
Last updated February 08, 2019