Math 69
Logic (Honors Section)
Last updated June 23, 2014 15:20:14 EDT

General Information Syllabus HW Assignments

Homework Assigments

IMPORTANT NOTE:

You may get no credit for your homework unless it is COMPLETELY LEGIBLE, on standard letter-sized paper, stapled, and identified with your name.

Homework assigned each day will be collected on the following Monday (or Wednesday, if class does not meet on Monday). It is, however, a good idea to do each day's homework before the next class.

Reading assigned each day should be done by the next class. So, for example, Section 1.3, listed on Monday January 10, is assigned on Monday and should be read by Wednesday, January 12. The same applies to discussion questions and review.

The final paper assignment includes the due dates for preliminary problems, first draft, and final version.

Week of January 4 - January 7, 2011
Assignments Made on:
Wednesday:
  • Read: Sections 1.1 and 1.2.
  • Write up: Section 1.1, exercises 1 and 3.
  • Prepare to discuss: Any questions you have about the reading.
No class on Friday.
Week of January 10 - January 14, 2011
Assignments Made on:
Monday:
  • Review: Sections 1.1 and 1.2.
  • Read: Section 1.3.
  • Write up: Section 1.2, exercises 2, 4, and 5.
  • Prepare to discuss: Any questions you have so far.
Wednesday:
  • Review: Section 1.3.
  • Read: Section 1.7.
  • Write up: Section 1.7, exercises 3, 4, and 5.
  • Prepare to discuss: Any questions you have so far, particularly about the Compactness Theorem.
Thursday:
  • Review: Chapter 1.
  • Write up: Section 1.2, exercise 8. Start by giving a careful definition of phi* by recursion.
  • Prepare to discuss: Any questions you have so far.
Friday:
  • Review: Chapter 1.
  • Read: Sections 2.0 and 2.1.
  • Write up: Section 1.7, exercises 8, 10, and 11.
  • Prepare to discuss: Section 2.1, exercise 1.
Week of January 17 - January 21, 2011
Assignments Made on:
No class on Monday.
Wednesday:
  • Review: Section 2.1.
  • Read: No additional reading.
  • Write up: Section 2.1, exercises 2, 5, and 10.
  • Prepare to discuss: Any questions you have.
Thursday:
  • Review: Section 2.1.
  • Read: Mathematical Structures handout.
  • Write up: Mathematical Structures handout, exercises 1, 3, and 5.
  • Prepare to discuss: Any questions you have so far.
Friday:
  • Review: Mathematical Structures handout.
  • Read: Section 2.2 through page 89.
  • Write up: Mathematical Structures handout, exercises 7, 9, and 11.
  • Prepare to discuss: Unique readability of terms.
Week of January 24 - January 31, 2011
Assignments Made on:
Monday:
  • Review: Chapter 2 through p. 89.
  • Read: No new reading.
  • Write up: No new written homework. Work on the midterm.
  • Prepare to discuss: Any questions you have so far. I expect some!
Wednesday:
  • Read: Section 2.2.
  • Write up: Keep working on the midterm.
  • Prepare to discuss: Any questions you have so far.
Friday:
  • Review: Section 2.2.
  • Read: Section 2.3 through p. 120.
  • Write up: Do a good job on the midterm.

    NEW: Resubmit problem (9) from the Mathematical Structures handout. You can resubmit the same homework I handed back, if you think it's correct.

  • Prepare to discuss: Section 2.2, exercises 3, 4, and 6.
Week of January 31 - February 4, 2011
Assignments Made on:
Monday:
  • Review: Section 2.2.
  • Read: No new reading.
  • Write up: Section 2.2, exercises 5, 8, and 11.
  • Prepare to discuss: Any questions you have.
Wednesday:
  • Read: Section 2.4 through p. 120.
  • Write up: Section 2.2, exercises 14, 27, and 28.
  • Prepare to discuss: Section 2.2, exercises 15, 16, and 18.
Friday:
  • Review: Section 2.4 through p. 120.
  • Read: Section 2.4.
  • Write up: Section 2.4, exercise 18; Section 2.4, exercises 2 and 3.
  • Prepare to discuss: Section 2.4, exercise 5 (see the proof of the Generalization Theorem on page 117).
Week of February 7 - February 11, 2011
Assignments Made on:

The due date for this week's homework assignments has been extended to Wednesday, February 16.

Monday:
  • Review: Section 2.4.
  • Read: No new reading.
  • Write up: Section 2.4, exercises 4, 8, and 9.
  • Prepare to discuss: Any questions you have.
Wednesday:
  • Read: Section 2.5, except the proof of the Completeness Theorem.
  • Write up: Section 2.5, exercises 2, 6 and 8.
  • Prepare to discuss: Section 2.5, exercise 5.
Thursday:
  • Review: Section 2.5, except the proof of the Completeness Theorem.
  • Read: Section 2.6.
  • Write up: Section 2.6, exercises 2 and 3.
  • Prepare to discuss: Section 2.6, exercise 8.
Week of February 14 - February 18, 2011
Assignments Made on:
Monday:
  • Review: Deductions.
  • Read: No new reading.
  • Write up: Work on the midterm.
  • Prepare to discuss: Any questions you have.
Wednesday:
  • Review: Your notes.
  • Read: No new reading.
  • Write up: Work on the midterm.
  • Prepare to discuss: Any questions you have.
Friday:
  • Review: Your notes.
  • Read: No new reading.
  • Write up: Work on the midterm.
  • Prepare to discuss: Any questions you have.
Week of February 21 - February 25, 2011
Assignments Made on:
Monday:
  • Review: Your notes.
  • Read: No new reading.
  • Write up: Work on the final paper. The assignment will be on the course web page sometime later today.
  • Prepare to discuss: Any questions you have.
Wednesday:
  • Review: Your notes.
  • Read: No new reading.
  • Write up: Work on the final paper.
  • Prepare to discuss: Any questions you have.
Thursday:
  • Review: Your notes.
  • Read: No new reading.
  • Write up: Work on the final paper.
  • Prepare to discuss: Any questions you have.
Friday:
  • Review: Your notes.
  • Read: No new reading.
  • Write up: Work on the final paper.
  • Prepare to discuss: Any questions you have.


Marcia J. Groszek
Last updated June 23, 2014 15:20:14 EDT