Homework |
|
HW # |
Due | Read | Do |
|---|---|---|---|
|
17 |
F 11/21 | Do Problem 4 only of this problem set. | |
|
16 |
F 11/14 | Read Example 4.2 on page 397. | Using Peano's axioms listed in Example 4.2, prove that 1+1=2 (i.e.,
0'+0'=0''). Note: x' stands for the "successor" of x, i.e., x' = x+1. |
|
15 |
M 11/3 | Review Sec 9.2 (may skip proofs of theorems) | Do problem #1 in this link: HW 15. This problem is long, so if you don't finish it, you can turn it in on Friday. |
|
14 |
M 10/27 | Re-read p. 378. | Do these problems: HW 14. |
|
13 |
F 10/24 | Read Sec 9.2. | Sec 9.2: 3abc (part b is used in the proof of Lemma 2.1.) |
|
12 |
M 10/20 | Read Sec 9.1. Also read this: Scorpling Flugs | Can you prove any theorems using the Scorpling Flugs axioms SF1-SF4? Treat "Scorple" and "Flug" and undefined terms. Prove as many theorems as you can using these four aximos! This may sound vague (or even like a joke), but it's a serious and real HW assignment! |
|
11 |
F 10/17 | Sec 4.9: 3, 4, 6-9. Also redo problems from HW #9 that you didn't get right. |
|
|
10 |
F 10/10 | Sec 4.9. | Sec 4.9: 1, 2, 5. |
|
9 |
M 10/6 | Turn in all problems (including #4) from Quiz3 -Spring 2004.
For problems 3 and 4, instead of giving a proof, just explain your
reasoning. Also do this problem. |
|
|
8 |
F 10/3 | Sec 4.8. | Sec 4.8: 2-5, 10. |
|
7 |
M 9/29 | Sec 4.7. | Sec 4.7: 1, 2. |
|
6 |
F 9/26 | Sec 4.6. | Sec 4.6: 1efgh, 2. |
|
5 |
M 9/22 | Sec 4.5. | Sec 4.5: 3, 4, 6, 9, 12, 13ab, 14f, 15. |
|
4 |
F 9/19 | Sec 4.4: read Examples 4.2 and 4.6. | Turn in problems 2 and 3 from: Quiz1-Spring2004. Also do: Sec 4.4: 2ab |
|
3 |
M 9/15 | Sec 4.4 up to Example 4.2. | Sec 4.4: 1. |
|
2 |
F 9/12 | Sec 4.3. | Sec 4.3: 2, 4-7. |
|
1 |
M 9/8 | Sections 4.1 and 4.2. Make sure to read each section in its entirety, not just what's necessary for the HW problems; otherwise you'll miss the "big picture," which will make things much harder later. | Sec 4.1: 1, 2. Sec 4.2: 1hj, 2f, 3, 4, 5def, 7. |