General Information | Syllabus | HW Assignments |
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