Math 69
Mathematical Logic (honors)
Last updated February 17, 2017 11:36:42 EST
Announcements:
 Reading period office hours, Thursday and Friday, 10:0011:30 and 1:303:00.
 Office hours Monday, 2/27, have been changed to 3:304:30.
 Now on the Canvas web page is a pdf with the LaTeX source code for the final paper assignment. This may help you find out how to produce the symbols you want for your paper.
 If you were at the xhour on Valentine's Day, and are curious, you can find a link to the performers' web page at the bottom of the Documents page.
 The final paper assignment, complete with all the questions, is now available on the Math 69 Canvas page.
 The second midterm is now available on the Math 69 Canvas page.
 Homework for the week of February 6 has now been posted.
 Under Exams on the General Information page, you will find a link to a preliminary version of the final paper assignment.
 An extra homework problem that will be assigned Monday, January 30, along with copies of our class worksheets through Friday, January 27, are now available on the Documents page.
 Remember to get the revised version of the first midterm from Canvas.
 The first midterm is now available on the Math 69 Canvas page.
 Now available on the Math 69 Canvas page is a handout on mathematical structures. We will be working from this handout during the week beginning Wednesday, January 18.
 The Documents page has links to class notes from the first four days of class.
 If you have not yet received your Math 69 textbook, you can find a copy of the first chapter on the Math 69 Canvas page.
Homework Assigments
Be sure you are fully aware of the content of the
general
information page. That page contains information about exams and homework due dates, among other things.
It is your responsibility to know what homework is assigned and when it is due. Homework assignments will be posted on this page.
Written homework is generally due on Wednesday of the week after it is assigned (as explained on the general information page).
Reading assignments are generally due on the next class day; you should also be prepared to discuss (or to ask questions about) the discussion questions.
Your homework must be COMPLETELY LEGIBLE, on standard lettersized paper, stapled, and identified with your name.
Homework Assigments
Week of January 46, 2017 
Assignments Made on: 
Wednesday:
 Read: Sections 1.0 1.1 and 1.2.
 Possible Discussion Questions: Any questions you have about the reading.
 Written Homework: Section 1.1, exercises 1 and 3.
 Written Homework due Friday January 6: Questionnaire.

Friday:
 Review: Sections 1.1 and 1.2.
 Read: Sections 1.3 and 1.5.
 Possible Discussion Questions: Section 1.5, exercises 2 and 3.
 Written Homework: Section 1.2, exercises 2, 4, and 5.

Week of January 913, 2017 
Assignments Made on: 
Monday:
 Review: Problems in class handout.
 Read: Section 1.7.
 Possible Discussion Questions: Section 1.2, exercise 9, and any questions you have so far, particularly about the Compactness Theorem.
 Written Homework: Section 1.2, exercise 8. Start by giving a careful definition by recursion of phi*.

Wednesday:
 Review: Soundness, completeness, compactness, effectiveness, enumerability, and decidability from Chapter 1.
 Read: No new reading.
 Possible Discussion Questions: Section 1.2, exercise 10, and any questions you have so far, especially about effectiveness, decidability, and effective enumerability.
 Written Homework: Section 1.7, exercises 3, 4, and 5.

Friday:
 Review: Chapter 1.
 Read: Section 2.1.
 Possible Discussion Questions: Any questions you have on the reading.
 Written Homework: Section 1.7, exercises 8, 10, and 11.

Week of January 1620, 2017 
Assignments Made on: 
Tuesday:
 Review: Section 2.1.
 Read: Mathematical Structures Handout, pp. 19.
 Possible Discussion Questions: Your questions on the reading..
 Written Homework: Section 2.1, exercises 2, 5, and 10.

Wednesday:
 Review: Mathematical Structures Handout, pp. 19.
 Read: Mathematical Structures Handout, pp. 1017.
 Possible Discussion Questions: Mathematical Structures Handout, exercises 2,4.
 Written Homework: Mathematical Structures Handout, exercises 1, 3, and 5.

Friday:
 Review: Mathematical Structures Handout.
 Read: No new reading.
 Possible Discussion Questions: Mathematical Structures Handout, exercises 6, 8, 10.
 Written Homework: Mathematical Structures Handout, exercises 7, 9,and 11.

Week of January 2327, 2017 
Assignments Made on: 
Monday:
 Review: Mathematical Structures Handout, section 2.1.
 Read: Section 2.2 through page 89.
 Possible Discussion Questions: Your questions on the reading..
 Written Homework: No new written homework. Work on the takehome exam.

Wednesday:
 Review: Reading from last class.
 Read: Section 2.2.
 Possible Discussion Questions: Section 2.2, exercise 5.
 Written Homework: Section 2.2, exercises 1(a) and 3. For exercise 3, use the formal definition of satisfaction.

Friday:
 Review: Reading from last class.
 Read: Section 2.3 .
 Possible Discussion Questions: Section 2.2, exercise 10.
 Written Homework: Section 2.2, exercises 8 and 11.

Week of January 30February 3, 2017 
Assignments Made on: 
Monday:
 Review: Section 2.2.
 Read: Section 2.4 through the top of page 112.
 Possible Discussion Questions: Section 2.4, exercise 2.
 Written Homework: Section 2.2, exercises 16 and 26, plus the problem on the Documents page.

Wednesday:
 Review: Reading from last class.
 Read: Section 2.4 through the top of page 116.
 Possible Discussion Questions: Section 2.4, exercise 5.
 Written Homework: Section 2.4, exercises 3, 4, and 9.

Friday:
 Review: Reading from last class.
 Read: Section 2.4.
 Possible Discussion Questions: Your questions on the reading.
 Written Homework: Section 2.4, exercises 6, 10, and 11.

Week of February 610, 2017 
Assignments Made on: 
Monday:
 Review: Section 2.4.
 Read: Section 2.5 except the proof of the completeness theorem.
 Possible Discussion Questions: Section 2.5, exercises 3 and 4.
 Written Homework: Assignment on Documents page.

Wednesday:
 Review: Reading from last class.
 Read: Section 2.6.
 Possible Discussion Questions: Section 2.6, exercises 6 and 9.
 Written Homework: Section 2.5, exercises 2 and 8.

Friday:
 Review: Section 2.6.
 Read: Section 2.5, including the proof of the completeness theorem.
 Possible Discussion Questions: Your questions on the reading.
 Written Homework: Assignment on Documents page.

Week of February 1317, 2017 
Assignments Made on: 
Monday:
 Review: Sections 2.5 and 2.6.
 Read: No new reading.
 Written Homework: Section 2.6, exercises 2, 3, and 7. Note that the second midterm is available today.

Wednesday:
 Review: Everything.
 Written Homework: No new written homework. Work on the midterm.

Week of February 2024, 2017 
Assignments Made on: 
Monday:
 Final Paper: Preliminary questions are due a week from today.

Week of February 27 to March 3, 2017 
Assignments Made on: 
Monday:
 Final Paper: First draft is due a week from today.

Week of March 610, 2017 
Assignments Made on: 
Monday:
 Final Paper: Final draft is due a week from today.

Marcia Groszek
Last updated February 17, 2017 11:36:42 EST