Math 69
Honors Mathematical Logic
Last updated August 02, 2011 13:48:53 EDT

General Information Syllabus HW Assignments


We will cover more or less Chapters 1-3 in the textbook.

The following is a slightly more detailed tentative syllabus for the course. This page will be updated irregularly.
On the other hand, the weekly syllabus contained in the Homework Assignments page should always be accurate, if incomplete.

Class is expected to meet on every day listed here. During most weeks we will meet three times; sometimes we will meet during the x-hour on Tuesday. Each week's schedule should be set by the end of the preceding week.

Lectures Readings Brief Description
1/5 Chapter 1 Sentential logic, formulas, induction, truth tables.
1/7 Chapter 1 Truth assignments, compactness.
1/9 Chapter 1 Deductions, soundness and completeness.
1/12 Chapter 1 Effectiveness.
1/14 Chapter 1, Chapter 2 Effectiveness, language of first-order logic.
1/16 Chapter 2 Language of first-order logic.
1/19   No class: MLK Day.
1/21 Handout Some Mathematical Structures.
1/23 Handout Some Mathematical Structures.
1/26 Handout Some Mathematical Structures.
1/26   First Midterm distributed this week.
1/27 (x-hour) Chapter 2 Truth, models, logical implication.
1/28 Chapter 2 Logical implication.
1/30 Chapter 2 Deductions.
2/2 Chapter 2 Logical Implication and Deductions.
2/4   First midterm due today.
2/4 Chapter 2 Definability.
2/6 Chapter 2 Homomorphisms.
2/9 Chapter 2 Homomorphisms and Definability.
2/10 (x-hour) Chapter 2 Deductions.
2/11 Chapter 2 Deductions.
2/13   No class today. Enjoy Winter Carnival.

Marcia J. Groszek
Last updated August 02, 2011 13:48:53 EDT