Lectures: Tuesday 2-4 and Thursday 3-4 (room MP 203)
Tutorials:
Wednesday 4-5
(room BA 1240),
Wednesday 5-6
(room BA 1240),
Friday 3-4
(room HA 316),
Friday 4-5
(room HA 316)
Office hours: Thursday 4-6 (BA 6214) or by appointment
Textbook: "A Friendly Introduction to Mathematical Logic" (2nd Edition) by Christopher C. Leary and Lars Kristiansen
Announcements
Thu | Jan 4 | Course overview, review of propositional logic |
Tue | Jan 9 | Syntax and semantics of first-order logic (Preface and Sections 1.1-1.4 of textbook) |
Handout | ||
Thu | Jan 11 | Syntax and semantics of first-order logic, continued (Sections 1.5-1.7) |
Tue | Jan 16 | Substitutions, logical implication (Sections 1.8-1.10) |
Thu | Jan 18 | Deductions (Sections 2.1-2.4) |
Tue | Jan 23 | Deductions, continued -- Problem Set 1 due |
Thu | Jan 25 | Soundness Theorem (Sections 2.5-2.7) |