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