MA 3110: Logic, Proof, and Axiomatic Systems

Fall 2008



Dana Ernst

Assistant Professor

Department of Mathematics
Plymouth State University
MSC 29, 17 High Street
Plymouth, NH 03264-2943


Office: Hyde 312
Office Hours: 1:30--2:30 pm MWF (or by appointment)
Email: dcernst [at] plymouth [dot] edu
Web Page: http://oz.plymouth.edu/~dcernst

About the picture: That's me riding up Mount Evans in Colorado (Elevation 14,240 ft; World's Highest Paved Road).

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


Announcements

HW 1:  2 parts (Due 5 pm on Fri, Sep 5)
  1. Stop by my office and say "hello."  If I'm not there, then leave a note.
  2. Send me an email telling me something interesting about yourself.
HW 2:  Answer the following questions:  (Due Fri, Sep 5)
  1. What is mathematics?
  2. Is mathematics invented or discovered?
(Guidelines for HW #2 are: must be typed, singlespaced, 12 point font, at least one page, no more than 2 pages)

HW 3:  Section 1.1: # 1, 2aceg, 3abg, 4fik, 5ce, 7, 8b, read 12  (Due Mon, Sep 8)

HW 4:  Section 1.2 (part 1): #1ab, 2ab, 4abcd, 8abd, 9bc, 14  (Due Wed, Sep 10)

HW 5:  Section 1.2 (part 2): #1cdj, 2cdj, 4ghi, 7, 8egj, 9f  (Due Fri, Sep 12)

HW 6:  Section 1.3 (part 1):  #1abcf, 3, 5, 6acg  (Due Mon, Sep 15)

HW 7:  Section 1.3 (part 2):  #1dghi, 4, 6be, 7abdfi, 8ac  (Due Wed, Sep 17)

HW 8:  Section 1.4:  #5ad, 6b, 7bh, 8, 9d, 11ac  (Due Fri, Sep 19)

HW 9:  Section 1.5 (part 1):  #3g, 4b, 12a  (Due Mon, Sep 22)

HW 10:  Section 1.5 (part 2):  #6ab, 7a, 10, 12b  (Due Wed, Sep 24)

HW 11:  Section 1.6 (part 1):  #2b, 5d, 8ae  (Due Fri, Sep 26)

HW 12:  Section 1.6 (part 2):  #2a, 4, 5ef, 8d  (Due Mon, Sep 29)

Exam 1 (part 1):  In-class exam on Wed, Oct 1

Exam 1 (part 2):  Take-home exam due to my office (Hyde 312) by 2 pm on Fri, Oct 3

HW 13:  Section 1.6 (part 3):  #1h, 5b, 7cdg  (Due Mon, Oct 6)

HW 14:  2 parts (Due 5 pm on Wed, Oct 8)
  1. Write-up an assessment of your understanding and performance up to this point.  What is working?  What could you do to improve?
  2. Explain your errors on part 1 of Exam 1.
HW 15:  Section 2.1 (part 1):  #1ac, 3bdeg, 10a, 12, 18, 19be  (Due Fri, Oct 10)

HW 16:  Section 2.1 (part 2):  #4(all), 6ce, 7c, 8a, 14, 17, what's wrong with claims in 19fg?  (Due Wed, Oct 15)

HW 17:  Section 2.2:  #1acegi, 2acek, 3bfk, 5, 8 (just parts n, o, and r of Theorem 2.6), 9 (just parts d and g of Theorem 2.7), 10ac, 13b, 14ab, 17a  (Due Wed, Oct 22)

HW 18:  Section 2.3 (part 1):  #1acegi, 3, 9, 11ac, 12a  (Due Fri, Oct 24)

HW 19:  Section 2.3 (part 2):  #2acegi, 4, 6a, 12b, 13, 14, 20b  (Due Mon, Oct 27)

HW 20:  Section 2.4:  #1bdf, 2, 7a, 8aefku  (Due Mon, Nov 3)

Exam 2 (part 1):  In-class exam on Wed, Nov 5

Exam 2 (part 2):  Take-home exam due to my office (Hyde 312) by 5 pm on Fri, Nov 7  9 am on Mon, Nov 10

HW 21:  Section 2.5:  #2, 5ad, 6d, 7  (Due Mon, Nov 10)

HW 22:  Section 3.1 (part 1):  #1ab, 2, 3, 4, 6ace, 7ace, 11abce  (Due Wed, Nov 12)

HW 23:  Section 3.1 (part 2):  #5, 8ei, 9bd, 10g, 11df, 12, 13abc, 14d  (Due Fri, Nov 14)

HW 24:  Section 3.2 (part 1):  #1adeik, 2adh, 3adh, 5, 8, 9  (Due Mon, Nov 17)

HW 25:  Section 3.2 (part 2):  #4adfgi, 6ad, 12b  (Due Wed, Nov 19)

HW 26:  Section 3.3:  #2abde, 3ab, 6bd, 8ab, 10b, 11  (Due Fri, Nov 21)

HW 27:  Section 4.1 (part 1):  Complete handout and do #1abg, 2ad, 4abc, 6a  (Due Mon, Nov 24)

HW 28:  Section 4.1 (part 2):  #3ag, 5a, 7abd, 9, 10, 11, 14  (Not collected, but is covered on Exam 3)

Exam 3 (part 1):  In-class exam on Wed, Dec 1

Exam 3 (part 2):  Take-home exam due to my office (Hyde 312) by 5 pm on Fri, Dec 3)

HW 29:  Section 4.2:  #1bei, 3bc, 5, 6, 14adg, 15b, 16a  (Due Mon, Dec 8)

HW 30:  Section 4.3 (part 1):  #1ceghk, 4, 8ab  (Due Wed, Dec 10)

HW 31:  Section 4.3 (part 2):  #2ceghk, 3ab, 5, 8e, 12a, 14cd  (Not collected, but is covered on Final Exam)

Final Exam:  Monday, December 15 at 11:00 am --1:30 pm


General Information

Syllabus (.pdf file)

Homework Expectations (.pdf file)

Math Activity Center Hours for Fall 2008 (.pdf file)


Supplementary Notes and Select Homework Solutions

Solution to Exercise 8(c) in Section 1.3 (.pdf file)

Handout for Section 4.1: Functions as Relations (part 1)  (.pdf file)


Study Guidelines for In-class Exams

Study guidelines for Exam 1 (.pdf file)

Study guidelines for Exam 2 (.pdf file)

Study guidelines for Exam 3 (.pdf file)

Study guidelines for Final Exam (.pdf file)


Take-home Exams

Take-home portion of Exam 1 (.pdf file)

Take-home portion of Exam 2 (.pdf file)

Solutions to take-home portion of Exam 2 (.pdf file)

Take-home portion of Exam 3 (.pdf file)