|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 Thursday. Each week's schedule should be set by the end of the preceding week.
|1/5||Chapter 1||Sentential logic: formulas, induction, truth tables.|
|1/7||No class today.|
|1/10||Chapter 1||Truth assignments.|
|1/13 (x-hour)||Chapter 1||Deductions, soundness, and completeness.|
|1/17||No class: Martin Luther King Jr. Day.|
|1/19||Chapter 2||First order logic: formulas.|
|1/20 (x-hour)||Handout||Mathematical Structures.|
|1/24||First midterm distributed today.|
|1/26||Chapter 2||Truth, structures, and logical implication.|
|1/28||Chapter 2||Logical implication.|
|1/31||Chapter 2||Structures and Definability|
|1/31||First midterm due today.|
|2/9||Chapter 2||Models and Theories.|
|2/10 (x-hour)||Chapter 2||Models and Theories.|
|2/11||No class: Enjoy Winter Carnival.|
|2/14||Chapter 2||Review Satisfaction and Deductions.|
|2/14||Second midterm distributed today.|
|2/16||Chapter 2||Models and Theories, Completeness.|
|2/21||Second midterm due today.|
|2/24 (x-hour)||Chapter 3||Incompleteness.|
|3/4||No class today.|
Marcia J. Groszek
Last updated June 23, 2014 15:20:14 EDT