Reading and Homework Assignments

Readings for the course will mainly be from Metalogic: An Introduction to the Metatheory of Standard First Order Logic, by Geoffrey Hunter [Henceforth "Hunter"]. Assignments will be listed by author and page numbers, or by author with a link to an on-line source. Homework assignments will be posted here via hyperlinks.

• For Jan. 28: Read Hunter, pp. xi-xiii, 3-15.
• For Jan. 30: Read Hunter, pp. 46-56.
• For Feb. 4: Read Hunter, pp. 57-71. Do Problem Set 1 to hand in at the beginning of class on 2/4. Make a copy for yourself to hold onto during class.
• For Feb. 11: Re-read Hunter, pp. 62-71. Then read pp. 71-83. Make sure you follow all the details of the proofs Hunter does.
• For Feb. 20: Re-read Hunter, pp. 77-83, then read pp. 84-95. Do Problem Set 2 to hand in at the beginning of class on 2/20. Make a copy for yourself to hold onto during class.
• For Feb. 28: Stop by my office at CDC 426 to pick up your corrected Problem Set 2 after noon.
• For Mar. 3: Read Hunter, pp. 95-104. Do Problem Set 3 to hand in at the beginning of class on 3/3. You can pick up your corrected Problem Set 3 at my office at CDC 426 on Tuesday at 3pm.
• For Mar. 5: First Quiz!.
• For Mar. 10: Read Hunter, pp. 105-114(top).
• For Mar. 12: Read Hunter, pp. 114-116(top) and pp. 118-120(top).
• For Mar. 24: Read Hunter, pp. 16-41.
• For Mar. 26: Do Problem Set 4 to hand in at the beginning of class on 3/26.
• For Apr. 7: Re-read Hunter 96-104. Start Problem Set 5 to hand in at my office by 4pm Thursday 4/10.
• For Apr. 9: Re-read Hunter, pp. 105-114(top). Be working on Problem Set 5 to hand in on 4/10.
• For Apr. 14: Be going over proofs for metatheorems from model-theory, proofs for metatheorems from proof-theory, mathematical induction (see the handout), and the proofs for the soundness and completeness of PS, to get ready for the Test on 4/16.
• For Apr. 16: First Test! Bring an Exam Book to take the test in.
• For May 5: Re-read Hunter, pp. 16-41. Get started on Problem Set 6 to hand in on 5/9.
• For May 7: Keep working on Problem Set 6.
• For May 9: Review session: 2pm-4pm in CBC C110. Hand in Problem Set 6 when you get there, or by 4pm.
• For May 12: Final Exam: 1pm-3pm. In our regular classroom. Bring an exambook to write your answers in (and bring an extra one for someone who forgets).

---

Last updated May 7, 2007

This site is maintained by James A. Woodbridge.

This document was created on December 22, 2007.