Math 69
Logic (Honors Section)
Last updated June 27, 2016 13:25:50 EDT
Homework Assigments
IMPORTANT NOTE:
You may get no credit for your homework unless it is COMPLETELY LEGIBLE, on standard lettersized 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, Sections 1.01.2, listed on Monday January 7, are assigned on Monday and should be read by Wednesday, January 9. The same applies to discussion questions and review.
The final paper assignment is here. An example of an expository paper is here.
An important note about your first drafts is here.
Week of January 7  January 11, 2013 
Assignments Made on: 
Monday:
 Read: Sections 1.0 1.1 and 1.2.
 Write up: Section 1.1, exercises 1 and 3.
 Prepare to discuss: Any questions you have about the reading.

Wednesday:
 Review: Sections 1.1 and 1.2.
 Read: Sections 1.3 and 1.5.
 Write up: Section 1.2, exercises 2, 4, and 5.
 Prepare to discuss: Section 1.5 exercises 2 and 3, and any questions you have so far.

No class on Friday.

Week of January 14  January 18, 2013 
Assignments Made on: 
Monday:
 Review: Sections 1.3 and 1.5.
 Read: Section 1.7.
 Write up: Section 1.2, exercise 8. Start by giving a careful definition by recursion of phi*.
 Prepare to discuss: Section 1.2, exercise 9, and any questions you have so far, particularly about the Compactness Theorem.

Tuesday:
 Review: Chapter 1.
 Read: No new reading.
 Write up: Section 1.7, exercises 3, 4, and 5.
 Prepare to discuss: Section 1.2, exercise 10, and any questions you have so far, especially about effectiveness, decidability, and effective enumerability.

Wednesday:
 Review: Soundness, completeness, compactness, effectiveness, enumerability, and decidability from Chapter 1.
 Read: Section 2.1.
 Write up: Section 1.7, exercises 8, 10, and 11.
 Prepare to discuss: Section 2.1, exercise 1, and any questions you have so far.

Friday:
 Review: Section 2.1.
 Read: No new reading.
 Write up: Section 2.1, exercises 2, 5, and 10.
 Prepare to discuss: Any questions you have so far.

Week of January 21  January 25, 2013 
Assignments Made on: 
No class on Monday.

Tuesday:
 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.

Wednesday:
 Review: Mathematical Structures Handout.
 Read: Section 2.3.
 Write up: Mathematical Structures Handout, exercises 7, 9, and 11.
 Prepare to discuss: Unique readability of terms, and any questions you have so far.

Friday:
 First midterm distributed today.
 Review: Mathematical Structures Handout.
 Read: Section 2.2 through page 89.
 Write up: No new written homework; begin work on the midterm.
 Prepare to discuss: Any questions you have so far.

Week of January 28  February 1, 2013 
Assignments Made on: 
Monday:
 Review: Section 2.2 through page 89.
 Read: Section 2.2.
 Write up: Section 2.2, exercises 1(a) and 3. For exercise (3), use the formal definition of satisfaction.
 Prepare to discuss: Section 2.2, exercise 5, and any questions you have so far.

Remember the optional xhour Tuesday on countable and uncountable sets.

Wednesday:
 Review: Section 2.2.
 Read: Section 2.3.
 Write up: Section 2.2, exercises 8 and 11.
 Prepare to discuss: Section 2.2, exercise 10, and any questions you have so far.

Friday:
 First midterm due today.
 Review: Section 2.2.
 Read: Section 2.4 through the first four lines on page 112.
 Write up: Section 2.2, exercises 16 and 26.
 Prepare to discuss: Section 2.2, exercise 13, and any questions you have so far.

Week of February 4  February 8, 2013 
Assignments Made on: 
Monday:
 Review: Section 2.2.
 Read: Section 2.4 through the first five lines on page 116.
 Write up: Section 2.2, exercises 13, 14, and 27.
 Prepare to discuss: Section 2.4, exercise 2, and any questions you have so far.

Tuesday:
 Review: Section 2.4 through the first five lines on page 116.
 Read: Section 2.4.
 Write up: Section 2.4, exercises 3, 4, and 9.
 Prepare to discuss: Section 2.4, exercise 5 (for which you will have to use the proof of the generalization theorem), and any questions you have so far.

Wednesday:
 Review: Section 2.4.
 Read: Section 2.5 through the first four lines on page 135 and from the beginning of page 142 to the end of the section.
 Write up: Section 2.4, exercises 6, 10, and 11.
 Prepare to discuss: Any questions you have so far, especially about deductions.

No class on Friday.

Week of February 11  February 15, 2013 
Assignments Made on: 
Monday:
 Review: Section 2.5 (except the proof of the completeness theorem).
 Read: Section 2.6.
 Write up: Section 2.5, exercise 7; handout from Wednesday, February 6, exercise 2.
 Prepare to discuss: Any questions you have so far.

Wednesday:
 Review: Section 2.6.
 Write up: Section 2.5, exercises 2 and 8.
 Prepare to discuss: Section 2.5, exercises 3 and 4, and any questions you have so far.

Friday:
 Second midterm distributed today.
 Review: Portions of Chapter 2 we have covered.
 Write up: No new written homework; begin work on the midterm.
 Prepare to discuss: Section 2.6, exercises 6 and 9, and any questions you have.

Week of February 18  February 22, 2013 
Assignments Made on: 
Monday:
 Review: Parts of Chapter 2 we have covered.
 Read: Section 2.5, the proof of the Completeness Theorem.
 Write up: Section 2.6, exercises 2, 3, and 7.
 Prepare to discuss: Any questions you have.

Wednesday:
 Final paper assigned today.
 Review: Your class notes.
 Write up: Questions distributed in class.

Friday:
 Second midterm due today.
 Review: Your class notes.
 Write up: Work on preliminary questions from the final paper assignment.

Week of February 25  March 1, 2013 
Assignments Made on: 
Monday:
 Final Paper: Preliminary questions submitted today will be returned Wednesday.
 Review: Your class notes.
 Write up: Work on the final paper assignment.

Wednesday:
 Final Paper: Preliminary questions due today.
 Review: Your class notes.
 Write up: Work on the final paper assignment.

Friday:
 Review: Your class notes.
 Write up: Work on the final paper assignment.

Week of March 4  March 8, 2013 
Assignments Made on: 
Monday:
 Final Paper: First drafts submitted today will be returned Wednesday.
 Review: Your class notes.
 Write up: Work on the final paper assignment.

Wednesday:
 Final Paper: First draft due today.
 Review: Your class notes.
 Write up: Work on the final paper assignment.

Friday:
 Review: Your class notes.
 Write up: Work on the final paper assignment.

Week of March 11  March 15, 2013 
Winter term classes are over. 
Final paper due 3 PM, Thursday, March 14.

Marcia J. Groszek
Last updated June 27, 2016 13:25:50 EDT