Math 69
Mathematical Logic (honors)
Last updated February 17, 2017 11:36:42 EST

Home General Information Syllabus HW Assignments Documents


Announcements:

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 letter-sized paper, stapled, and identified with your name.



Homework Assigments

Week of January 4-6, 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 9-13, 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 16-20, 2017
Assignments Made on:
Tuesday:
  • Review: Section 2.1.
  • Read: Mathematical Structures Handout, pp. 1-9.
  • Possible Discussion Questions: Your questions on the reading..
  • Written Homework: Section 2.1, exercises 2, 5, and 10.
Wednesday:
  • Review: Mathematical Structures Handout, pp. 1-9.
  • Read: Mathematical Structures Handout, pp. 10-17.
  • 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 23-27, 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 take-home 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 30-February 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 6-10, 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 13-17, 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 20-24, 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 6-10, 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