MA 3110: Logic, Proof, and Axiomatic Systems (Spring 2009)

My office hours are currently scheduled for MWF 11AM-12PM and Th 10-11AM (or by appointment).  My office is located in Hyde 312.

This page will be updated regularly, so check back often!

• Syllabus (.pdf file)
• Homework Expectations (.pdf file)
• Math Activity Center hours for Spring 2009 (.pdf file). For more information go here.

• No class on Wednesday, Jan 28 (campus closed due to snow storm)
• No class on Wednesday, Feb 11 (Winter Carnival)
• Exam 1 (part 1): In-class portion of Exam 1 is on Wednesday, Feb 25 (this date is different than the tentative date on the syllabus; see below for Study Guidelines for Exam 1)
• Exam 1 (part 2): Take-home portion of Exam 1 will be due on Monday, Mar 2 (see below for the .pdf file)
• Exam 2 (part 1): In-class portion of Exam 2 is on Wednesday, Apr 1 (this date is different than the tentative date on the syllabus; see below for Study Guidelines for Exam 2)
• Exam 2 (part 2): Take-home portion of Exam 2 will be due on Monday, Apr 6 (see below for the .pdf file)
• Exam 3 (part 1): In-class portion of Exam 3 is on Wednesday, Apr 29 (this date is different than the tentative date on the syllabus; see below for Study Guidelines for Exam 3)
• Exam 3 (part 2): Take-home portion of Exam 2 will be due on Monday, May 4 (see below for the .pdf file)

• HW 1: Stop by my office and say hello. If I'm not there, then leave a note. (New due date is 6:30PM Mon, 2.2)
• HW 2: Send me an email telling me something interesting about yourself or tell me what you did over break. (New due date is 6:30PM Mon, 2.2)
• HW 3: Section 1.1: #1, 2aceg, 3abg, 4fik, 5ce, 7, 8bc, 9ac, 10cej, read 12 (Due Wed, 2.4)
• HW 4: Section 1.2: #1abcdj, 2ab, 4abcdghi, 7 (you don't necessarily need to make a truth table), 8abdej, 10ac, 13a (Due Mon, 2.9)
• HW 5: Section 1.3 (part 1): #1abcf, 3, 5, 6acg (Due Mon, 2.16)
• HW 6: Section 1.3 (part 2): #1dghi, 4, 6be, 7abdfi, 8ac (Due Wed, 2.18)
• HW 7: Section 1.4: #5ad, 6b, 7bh, 8, 9d, 11ac (Due Mon, 2.23)
• HW 8: Section 1.5: #3ade, 4b, 6ab, 7ac, 9, 10, 12abd (Due Mon, 3.9)
• HW 9: Section 1.6 (part 1): #1f, 2ab, 4, 5adefg, 6b, 8ade (Due Wed, 3.11)
• HW 10: Section 1.6 (part 2): #1h, 5bch, 7cdg (Due Mon, 3.23)
  Hint: For #7g, take M to be integer part of 1/(epsilon)+1. That is, truncate (round down) 1/(epsilon)+1.
• HW 11: Section 2.1: #1ac, 3acegi, 4acegik, 6c, 7c, 8a, 9acegik, 11, 12, 13, 14, 17, 18, 19be (Due Wed, 3.25)
• HW 12: Section 2.2: #1acegi, 2abceik, 3bfk, 4adf, 5, 8nor, 9dg, 10ac, 13, 14a (Due Mon, 3.30)
• HW 13: Section 2.3: #1acegiln, 2acegiln, 3, 4, 5a, 6a, 11ac, 12ab, 13 (Due Wed, 4.8)
• HW 14: Section 2.4: #1abdf, 2, 8aeko AND Section 2.5: #2, 5d, 6bd (Due Mon, 4.13)
• HW 15: Section 3.1 (part 1): #1abd, 2, 3, 4 (Due Wed, 4.15)
• HW 16: Section 3.1 (part 2): #5, 6ace, 7ace, 8ei, 9bd, 10g, 11, 12, 14 (Due Mon, 4.20)
• HW 17: Section 3.2: #1adeik, 2adk, 3adk, 4adfgi, 5, 6ad, 8, 9 (Due Wed, 4.22)
• HW 18: Section 3.3: #2abde, 3ab, 6bd, 8ab, 10b, 11 (Due Mon, 4.27)
• HW 19: Section 4.1 (part 1): #1abg, 2ad, 3ag, 4abc, 5a, 6a (Due Wed, 5.6)

• The Circle-Dot system (.pdf file)
• Notes for Section 1.3: Quantifiers (part 1) (.pdf file)
• Notes for Section 1.3: Quantifiers (part 2) (.pdf file)
• Notes for Section 2.1: Basic Concepts of Set Theory (.pdf file)
• Notes for Section 2.3: Extended Set Operations and Families of Sets (.pdf file)
• Notes for Section 4.1: Functions as Relations (part 1) (.pdf file)

• Study Guidelines for Exam 1 (.pdf file)
• Study Guidelines for Exam 2 (.pdf file)
• Study Guidelines for Exam 3 (.pdf file)

• Take-home portion of Exam 1 (.pdf file) (Due Mon, 3.2)
• Take-home portion of Exam 2 (.pdf file) (Due Mon, 4.6)
• Take-home portion of Exam 3 (.pdf file) (Due Mon, 5.4)

• Solution to Exercise 1.3.8(c) (.pdf file)
• Solutions to the take-home portion of Exam 1 (.pdf file)
• Solutions to the in-class portion of Exam 2 (.pdf file)
• Solutions to the take-home portion of Exam 2 (.pdf file)
• Solution to Exercise 2.5.6(d) (.pdf file)