Syllabus
This is a tentative syllabus, which may be modified as the class progresses.
Date | Sections in Text | Brief Description |
---|---|---|
1/4 | 1.1 | Course Introduction; the Language of Sentential Logic |
1/7 | 1.2 | Truth Assignments and Tautological Implication |
1/9 | 1.7 | Compactness |
1/11 | 1.7 | Effectiveness |
1/14 | 1.7 | Effectiveness and Completeness |
1/16 | 2.0, 2.1 | The Language of First-Order Logic |
1/18 | Handout | Mathematical Structures |
1/21 | NOTE | No class on MLK Day; meet tomorrow during x-hour |
1/22 | Handout | Mathematical Structures |
1/23 | Handout | Mathematical Structures |
1/25 | 2.2 | Truth and Models |
1/28 | NOTE | Midterm I due today |
1/28 | 2.2 | Definability |
1/30 | 2.2 | Homomorphisms |
2/1 | 2.4 | Deductions |
2/4 | 2.4 | Deductions |
2/6 | 2.5 | Soundness and Completeness |
2/8 | 2.5 | Soundness and Completeness |
2/11 | 2.5 | Soundness and Completeness |
2/13 | 2.5 | Soundness and Completeness |
2/15 | 2.5 | Soundness and Completeness |
2/18 | NOTE | Midterm II due today |
2/18 | 2.5 | Soundness and Completeness |
2/20 | Incompleteness | |
2/22 | Incompleteness | |
2/25 | NOTE | Final paper preliminary questions due today |
2/25 | Incompleteness | |
2/27 | Incompleteness | |
3/1 | Incompleteness | |
3/4 | NOTE | Final paper first draft due today |
3/4 | Incompleteness | |
3/6 | Course Finale | |
3/11 | NOTE | Final paper due today |