Assigned |
Due date | Read |
Exercises |
---|---|---|---|
8/30 |
9/1 |
To the Student, 1.1-2 |
Turn in on 9/1: 1.2.3 |
9/1 |
9/8 |
1.3 |
1.2.1, 4-6, 14, 15 Turn in on 9/8: 1.2.13 |
9/8 |
9/15 |
1.4 |
Prove Theorem 1.3.1.(i)-(iii), (xi)-(xiii) and Theorem
1.3.2.(iv), (vii)-(ix), (xii)-(xiv) 1.3.5, 9, 12 Turn in on 9/13: 1.3.4 No new problem to turn in on 9/15. |
9/15 |
9/27 |
1.5 |
1.4.1-4 1.5.2, 3, 5, 6 Turn in on 9/20: 1.5.4 Turn in on 9/27: Translate the following sentences into statements that Block World understands: (a) Every triangle is smaller than every pentagon. (b) Every pentagon is the same size as some square. (c) There is a triangle that is between a square and a pentagon. (d) There is only one large pentagon. (e) Every medium pentagon is in the same column as a large triangle. |
9/27 |
10/4 |
1.5 2.1 |
1.5.7-12 Turn in on 9/29: Choose sets S and T of objects that you can describe in Block World. Choose an open sentence P(x,y). Encode into Block World syntax each of the eight doubly quantified statements in Figure 1.5.1 on p. 48 in your textbook. There is no new exercise to turn in on 10/4, but be sure to finish all your homework assigned up to now because it is all fair game for the exam on 10/6. |
10/4 |
10/11 |
2.1, 2 |
Homework holiday. Prepare for your upcoming exam. New HW will
be assigned next week. |
10/11 |
10/18 |
2.2-4 |
2.1.1 2.2.3-6 2.3.2 Turn in on 10/13: 2.2.7 Turn in on 10/18: 2.3.2 |
10/18 |
10/25 |
2.4-6 |
2.3.5-8 2.4.7,8 Turn in on 10/20: 2.3.4 |
10/25 |
11/3 |
3.2-3 |
2.4.9, 10 2.5.4-6, 9, 10 3.2.4, 6, 8 Turn in on 10/20: 3.2.7 Turn in on 11/3: 3.2.11 |
11/3 |
11/8 |
3.3 |
3.2.13, 15 3.3.6 No exercise to turn in this time. This is a short assignment so as to leave you time to prepare for the upcoming exam on 11/10. Also, there is no new problem of the week. I haven't gotten any solutions to the last, so I have extended its deadline to 11/8. |
11/8 |
11/15 |
3.3 |
Turn in on 11/15: Prove Theorem 3.3.5.(v). |
11/15 |
11/22 |
3.4, 4.1 |
3.3.7, 8, 11, 12, 17, 22 Turn in on 11/17: 3.3.13 Turn in on 11/22: Prove Theorem 3.4.3.(iv). |
11/22 |
11/29 |
4.2-4 |
4.1.2, 5, 7 4.2.3, 6, 8, 13 Turn in on 11/29: Prove Theorem 4.2.3.(viii). |
11/29 |
12/6 |
4.4, 5.1, 2 |
3.4.3-5 4.4.12, 13 Turn in on 12/1: 4.4.1 Turn in on 12/6: 4.4.13. (1) and (2) |
12/6 |
12/8 |
5.3 |
Turn in on 12/8: 5.2.6 |