|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. For the first week, we will meet on Monday, Wednesday and Friday as indicated, but NOT on Saturday.
|1/9||2.1-2.3||Relations and functions.|
|1/11||2.4-2.5||Kinds of relations.|
|1/15 (x-hour)||3.1-3.2||Natural numbers.|
|1/16||3.3-3.4||Recursion and arithmetic.|
|1/18||3.5||Structures and first-order languages.|
|1/21||We will not meet today (MLK day).|
|1/22 (x-hour)||4.1||Cardinality and finite sets.|
|1/23||4.2-4.3||Finite and countable sets.|
|1/25||Midterm I distributed today.|
|2/1||6.3||The Axiom of Replacement.|
|2/1||Midterm I due today.|
|2/4||6.4||Transfinite induction and recursion.|
|2/5 (x-hour)||6.5||Ordinal arithmetic.|
|2/6||6.5-6.6||Ordinal arithmetic and the normal form.|
|2/8||We will NOT meet today (winter carnival).|
|2/11||6.6||Normal form for ordinals.|
|2/15||8.1-8.2||The Axiom of Choice.|
|2/20||Midterm II distributed today.|
|2/27||Midterm II due today.|
Marcia J. Groszek
Last updated June 24, 2010 10:49:58 EDT