MAT 309: Introduction to Mathematical Logic – Winter 2018

Instructor: Benjamin Rossman
Teaching assistants: Jamal Kawach and Ming Xiao

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

Course Information Sheet


Announcements


Assignments

Schedule

 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)