Math 69
Last updated May 31, 2008 12:24:35 EDT

General Information Syllabus HW Assignments


The following is a 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 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/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.  
3/2 Class does NOT meet today.  
3/3 (x-hour) Class WILL meet today.  

Marcia J. Groszek
Last updated May 31, 2008 12:24:35 EDT