Class will not necessarily meet on the days listed here; in particular some meetings will probably be canceled and replaced by X-hours. Each week's schedule will be set by the end of the preceding week. On the first week we meet on Friday at the regular time (11:15-12:20) and then on Saturday (Jan 6) from 9:15-10:20 am.

Lectures	Readings	Brief Description
1/5	Friday: Section 1.1	What this course is about; then, sentential logic and well-formed formulas.
1/6	YES: Saturday at 9:15! Section 1.2	Sentential logic and truth tables.
1/8	Monday: Sections 1.5, 1.6	Complete sets of operations; circuits.
1/10	Wednesday: Section 1.7	The Compactness Theorem.
1/12	Friday: Section 1.7	Decidability and Effective Enumeration.
1/15	(Monday) No class today (Martin Luther King Jr. Day.)
1/16 (x-hour)	Tuesday Noon-12:50pm: 2.1	Language of first order logic.
1/17	Wednesday: Sections 2.1 and 2.2	Terms, atomic formulas, wffs and sentences.
1/19	Friday: Section 2.2	Truth, models and definability.
1/22	Monday	Some important mathematical structures.
1/24	Wednesday: Section 2.2	More mathematical structures.
1/26	Friday: Section 2.2	Definability of relations and functions; universal sentences.
1/29	Monday: Section 2.2	Logical implication.
1/30	Tuesday: OPTIONAL	X-hour review session.
1/31	Wednesday: Section 2.4	More logical implication.
2/2	Friday: Mid-term exam (in class)
2/5	Monday: Section 2.4	Deductions.
2/6 (x-hour)	Tuesday: Section 2.4	Deductions.
2/7	Wednesday: Section 2.5	Soundness.
2/9	No class today (Winter Carnival.)
2/12	Monday	Proof of Completeness.
2/14	Wednesday	snow day
2/16	Friday	Consequences of Completeness
2/19	Monday	Ramsey's Theorem and Compactness
2/21	Wednesday	Completeness and the Los-Vaught Test
2/23	Friday	Begin: Incompleteness and Undecidability (3.3, 3.4, 3.5).
2/26	Monday	The Axioms of A_E
2/28	Wednesday	Representability
3/2	Friday	Recursion
3/5	Monday	Incompleteness Wind-up
2/6 (x-hour)	Tuesday: Optional X-hour	Bring your questions
3/7	Wednesday: Last day of class	The 0-1 Law
3/10	Sat 8:00 am: Final Exam	in Haldeman 028 (our regular classroom)

Pete Winkler
Last updated June 25, 2009 14:49:00 EDT