# 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!

Dana Ernst

Plymouth State University

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)

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