"Mathematics, rightly viewed, possesses not only truth, but supreme beauty." - Bertrand Russell

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!

general information

announcements

  • 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)

homework

  • 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)

class notes

study guidelines

take-home portions of exams

selected solutions to homework and exams