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/7 | Chapter 1 | Sentential logic: formulas, induction, truth tables. |
1/9 | Chapter 1 | Truth assignments. |
1/11 | No class today. | |
1/14 | Chapter 1 | Compactness. |
1/15 (x-hour) | Chapter 1 | Deductions, soundness, and completeness. |
1/16 | Chapter 1 | Effectiveness. |
1/18 | Chapter 2 | First order logic: formulas. |
1/21 | No class: Martin Luther King Jr. Day. | |
1/22 (x-hour) | Handout | Mathematical Structures. |
1/23 | Handout | Mathematical Structures. |
1/25 | Handout | Mathematical Structures. |
1/25 | First midterm distributed today. | |
1/28 | Chapter 2 | Truth, structures, and logical implication. |
1/30 | Chapter 2 | Logical implication. |
2/1 | Chapter 2 | Structures and Definability |
2/1 | First midterm due today. | |
2/4 | Chapter 2 | Homomorphisms. |
2/5 (x-hour) | Chapter 2 | Deductions. |
2/6 | Chapter 2 | Deductions. |
2/8 | No class: Enjoy Winter Carnival. | |
2/11 | Chapter 2 | Models and Theories. |
2/13 | Chapter 2 | Models and Theories. |
2/15 | Chapter 2 | Review Satisfaction and Deductions. |
2/15 | Second midterm distributed today. | |
2/18 | Chapter 2 | Models and Theories, Completeness. |
2/20 | Chapter 2 | Completeness. |
2/20 | Final paper assigned today. | |
2/22 | Chapter 3 | Incompleteness. |
2/22 | Second midterm due today. | |
2/25 | Chapter 3 | Incompleteness. |
2/25 | Early submission of preliminary paper questions. | |
2/27 | Chapter 3 | Incompleteness. |
2/27 | Preliminary paper questions due today. | |
3/1 | Chapter 3 | Incompleteness. |
3/4 | Chapter 3 | Incompleteness. |
3/4 | Early submission of first draft of paper. | |
3/6 | Chapter 3 | Incompleteness. |
3/6 | First draft of paper due today. | |
3/8 | Last class | Wind-up. |
3/14 | Final draft of paper due 3 PM today. |
Marcia J. Groszek
Last updated June 27, 2016 13:25:50 EDT