(Set Theory)

Handouts:

• Lecture notes on Set Theory
• Updated 1/15: some typos corrected
• Update 1/18: some typos, section on cardinality
• Update 1/22: Section on numbers (we're only discussing the natural numbers, the sections on the rationals and reals there for fun).
• Update 1/28: Added ordinals.
• Update 2/2: added cardinals and AC

Assignments:

• Assignment 1 (due Feb 12)
• Assignment 2 (due Feb 17) (Corrected Feb 7) (Oops, Feb 17 is a holiday, make it Feb 19)
• Assignment 3 (due Feb 26) (Corrected 2/18)

Handouts:

• Lecture notes on Symbolic Logic
• Updated 2/14: Added section on deductions and the Completeness Theorem
• Update 2/19: added an introduction to predicate logic
• Update 3/11: Add sketch of Completeness and Lowenheim-Skolem
• Update 3/23: Add stronger L-S-T Theorem, Los-Vaught Test
• Video on Truth Tables (from Math 100)
• Slides/output from this video

Assignments

• Assignment 4 (Due March 12)
• Assignment 5 (Due March 28)

Handouts:

• Lecture notes on Computability
• Updated 4/14: added sections on register machines, primitive recursion
• Updated 4/23: added sections on codings, universal Turing machines, recursive sets, Godel's Theorem
• Updated 5/7: added the diagonal proof
• Assignment 6 (Due April 21)
• Assignment 7 (Due May 7)