General Information | Syllabus | HW Assignments |
Class will not meet on every day listed here. During most weeks we will
meet three times; often we will not meet on Wednesday, but instead will
meet during the x-hour on Thursday. Each week's schedule will be set
by the end of the preceding week. For the first week, we will meet on
Wednesday, Thursday, and Friday as indicated.
Lectures | Readings | Brief Description |
---|---|---|
1/5 | 1.1 | Language of sentential logic. |
1/6 (x-hour) | 1.1-1.2 | Language and semantics of sentential logic. |
1/7 | 1.2 | More about sentential logic. |
1/8 | No class today (Saturday.) | |
1/10 | 1.7 | Compactness, completeness, and effectiveness in sentential logic. |
1/12 | 1.7-2.1 | Language of first order logic. |
1/13 (x-hour) | Class does NOT meet today. | |
1/14 | 2.1 | Language of first order logic. |
1/17 | No class today (Martin Luther King Jr. Day.) | |
1/19 | Class WILL meet today. | Begin: Some important mathematical structures (not in text.) |
1/20 (x-hour) | Class WILL meet today. | |
1/21 | Class WILL meet today. | |
1/24 | 2.2 | Truth and models. |
1/26 | 2.2; Midterm I distributed today. | Logical implication and definability. |
1/28 | 2.2 | Definability and isomorphisms. |
1/31 | 2.4; Midterm I due today. | Deductions and a preview of Soundness. |
2/2 | 2.4 | Deductions. |
2/3 (x-hour) | Class does NOT meet today. | |
2/4 | 2.4 | Deductions. |
2/7 | 2.5 | Soundness. |
2/9 | Begin: Compactness and Applications (2.5, 2.6, 3.1). | |
2/10 (x-hour) | Class WILL meet today. | |
2/11 | No class today (Winter Carnival.) | |
2/14 | ||
2/16 | Midterm II distributed today. | |
2/17 (x-hour) | Class does NOT meet today. | |
2/18 | Begin: Completeness (2.5). | |
2/21 | Midterm II due today. | |
2/23 | Begin: Incompleteness and Undecidability (3.3, 3.4, 3.5). | |
2/24 (x-hour) | Class does NOT meet today. | |
2/25 | ||
2/28 | ||
3/2 | Class does NOT meet today. | |
3/3 (x-hour) | Class WILL meet today. | |
3/4 | ||
3/7 | ||
3/9 |
Marcia J. Groszek
Last updated May 31, 2008 12:24:35 EDT