|
|
Homework |
|
HW # |
Due | Read | Do |
|---|---|---|---|
| Thursday 5/6 9:30-12:30 Mosher 2 |
|||
|
24 |
Mon 4/26 | Sec 9.5 page 408-409. | 1. Provide all the missing details for the proof of Theorem 9.5.2
that appears in the book. 2. (a) Write a "simple" proof of Theorem 9.5.3 that's similar to the proof of Theorem 9.5.2. (b) Read the book's proof of Theorem 9.5.3 and try to figure out the advantage of this proof to the "simple" proof in part (a) above (there is an advantage). |
|
23 |
Fri 4/23 | Sec 9.5 up to and including the proof of Theorem 5.2. Make sure to be able to prove Theorems 5.1 and 5.2 on your own. |
hw23 |
|
22 |
Mon 4/19 | Sec 9.4 pages 394-397 (may skip Example 4.1). | Using Peano's axioms listed in Example 4.2 (and the axioms and
rules of inference of Predicate Calculus), prove that 1+1=2 (i.e.,
0'+0'=0''). So now if someone asks you "what do you do in Math 350?", you can answer "we prove 1+1=2!" On Monday we will first finish hw21, then do the above problem. |
| Fri 4/16 | Covers HW 17-20. | ||
|
21 |
Wed 4/14 | hw21 | |
|
20 |
Sec 9.3 pages 387-390 and 393, including the proof of Theorem 3.3. | Sec 9.3: 2. Plus the following: True or false? (a) Every inconsistent formula is a contradiction. (b) Every contradiction is inconsistent. |
|
|
19 |
Wed 4/7 | hw19 | |
| Covers HW 13-16 and the proofs of the Deduction Theorem, Lemma 2.1, the Completeness (Adequacy) Theorem, and its converse (the Soundness Theorem). | |||
|
18 |
Wed 3/31 | hw18 | |
|
|
Mon 3/29 | We'll continue with HW17. | |
|
17 |
Fri 3/26 | Page 384. | hw17 |
|
16 |
Wed 3/24 | Pages 380-382. | hw16 |
|
15 |
Mon 3/22 | Read Lemma 2.1 (and its proof, if you can) on page 380. | hw15 |
| Fri 3/12 | Covers Sections 4.8- 4.9 and HW 11. | ||
|
14 |
Wed 3/10 | Read the first paragraph of Section 2.2 (page 70). If you've never seen or aren't comfortable with "strong induction," read about it (in a book, or on the web), or ask me. | hw14 |
|
13 |
Mon 3/8 | Section 9.2 pages 378 and the proof of Theorem 2.1 (the Deduction Theorem). | hw13 |
|
12 |
Fri 3/5 | Section 9.2 pages 375-377. | Sec 9.2: 3abc (hard). Also prove as many theorems as you can with the Scorpling Flugs axioms handed out in class. |
|
-- |
Wed 3/3 | Start reading Section 9.1. | None until Friday. |
|
11 |
Mon 3/1 | Section 2.8 pages 111-112, and Section 2.11 pages 126-128 (try to understand whatever you can, but don't worry too much about unfamiliar terms). | Sec 4.9: 1, 2, 5. |
| Fri 2/27 | Covers Sections 4.6-4.8. | ||
|
10 |
Mon 2/23 | Section 4.9. | Sec 4.8: 7. |
|
9 |
Fri 2/20 | All of Section 4.8. | Sec 4.8: 2-5, 10. |
|
8 |
Wed 2/18 | As much of Section 4.8 as you can. | Sec 4.7: 1,2. |
| Fri 2/13 | Covers Sections 4.3-4.6 | ||
|
7 |
Wed 2/11 | Section 4.7. | Sec 4.6: 1efgh, 2. |
|
6 |
Fri 2/6 | Section 4.6 (page 193 can be skimmed). | Sec 4.5: 3, 4, 6, 9, 12, 13ab, 14f, 15. |
|
5 |
Wed 2/4 | Section 4.5. | Sec 4.4: 3-5. |
|
4 |
Mon 2/2 | Section 4.4 again! | Sec 4.4: 1, 2. |
| Fri 1/30 | Covers Sections 4.1-4.3. | ||
|
3 |
Wed 1/28 | Section 4.4. | Sec 4.3: 4-7. EC: 8. |
|
2 |
Mon 1/26 | Section 4.3. | Sec 4.3: 1g, 2. |
|
1 |
Fri 1/23 | Sections 4.1 and 4.2. Important: Read each section in its entirety, not just what's necessary for the HW problems; otherwise you'll miss the "big picture," which will seriously hurt you later. |
Sec 4.1: 1, 2. Sec 4.2: 1hj, 2f, 3, 4, 5def, 7. |
EC: Extra Credit problems are optional, and do not carry any points. If you do them, you can show them to me during office hours. These are problems that are interesting and sometimes more challenging; and may appear on exams only as extra credit problems (which carry no points).