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
FINAL EXAM INFORMATION
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) |