Math 69
Last updated June 25, 2009 14:49:00 EDT

General Information Syllabus HW Assignments


The following is a tentative syllabus for the course. This page will be updated irregularly.
However, the weekly syllabus contained in the Homework Assignments page should always be accurate, if incomplete.

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