MAT 309: Introduction to Mathematical Logic – Winter 2017

Instructor: Benjamin Rossman
Teaching assistants: Jamal Kawach and Yuan Yuan Zheng

Lectures: Monday, Wednesday, Friday 12-1 (room MP 103)
Tutorials: Wednesday 3-4 (room LM 155), Wednesday 4-5 (room MP 118), Friday 1-2 (room HA 316), Friday 2-3 (room HA 316)
Office hours: Monday 3-5 (room SF 2302B) or by appointment

Textbook: "A Friendly Introduction to Mathematical Logic" (2nd Edition) by Christopher C. Leary and Lars Kristiansen

Course Information Sheet


FINAL EXAM INFORMATION


Announcements

Assignments

Schedule

 F Jan 6 Course overview
 M Jan 9 §1.1-1.4 (languages, terms, formulas, sentences)
 W Jan 11 §1.6-1.7 (structures, truth in a structure)
 F Jan 13 §1.8-1.10 (substitution, logic implication)
 M Jan 16 §2.1-2.2 (deductions)
 W Jan 18 §2.3 (logical axioms)
 F Jan 20 §2.4 (rules of inference)
 M Jan 23 §2.5 (Soundness Theorem)
 W Jan 25 §2.6 (Soundness Theorem: technical lemmas)
 F Jan 27 §2.7 (Deduction Theorem)
 M Jan 30 §2.8-2.9 (nonlogical axioms)
 W Feb 1 §2.8-2.9 (nonlogical axioms, continued)
 F Feb 3 Review for midterm
 M Feb 6 Midterm #1 (in our usual classroom MP 103, covers all material in Chapters 1-2, closed book exam)
 W Feb 8 §3.1-3.2 (Completeness Theorem)
 F Feb 10 §3.1-3.2 (Completeness Theorem, continued)
 M Feb 13 §3.1-3.2 (Completeness Theorem, continued)
 W Feb 15 §3.3 (Compactness Theorem)
 F Feb 17 §4.1 (axiomatizations of number theory)
 M Feb 27 §4.2 (complexity of formulas)
 W Mar 1 §4.5 (codes of sequences of numbers)
 F Mar 3 §4.6 (axioms of Robinson arithmetic N)
 M Mar 6 Review for midterm
 W Mar 8 Midterm #2 (in our usual classroom MP 103, covers all material in Chapters 1-4, closed book exam)
 F Mar 10 §5.1-5.3 (representable sets and functions)
 M Mar 13 §5.1-5.3 (continued)
 W Mar 15 §5.4 (Church-Turing thesis)
 F Mar 17 §5.5-5.8 (Gödel coding)
 M Mar 20 §5.9-5.11 (representability of Gödel coding)
 W Mar 22 §5.12-5.13 (coding deductions)
 F Mar 24 §6.1-6.2 (Self Reference Lemma)
 M Mar 27 §6.3-6.4 (First Incompleteness Theorem)
 W Mar 29 §6.6-6.7 (Peano Arithmetic and the Second Incompleteness Theorem)
 F Mar 31 Ehrenfeucht-Fraďssé Games (slides)
 M Apr 3 EF Games and the Zero-One Law (slides)
 W Apr 5 The Zero-One Law, continued
Sat Apr 22 Final Exam (9am-12pm in room 320 of the Exam Centre)