涩里番

涩里番.ca / Vue d'ensemble / Tous les cours
important

Note: 涩里番鈥檚 new Course Catalogue will replace the eCalendar. The Course Catalogue is expected to go live the week of April 22nd. When the new site is published, "mcgill.ca/study" will be redirected to the new Course Catalogue website.

Course information on this site is not reflective of offerings for the 2025鈥�2026 academic year. Some irregularities may occur as we move operations to the incoming Course Catalogue.

MATH 318 Mathematical Logic (3 unit茅s)

Offered by: Math. et statistique (Facult茅 des sciences)

Vue d'ensemble

Math茅matiques et Statistiques (Sci) : Propositional logic: truth-tables, formal proof systems, completeness and compactness theorems, Boolean algebras; first-order logic: formal proofs, G枚del's completeness theorem; axiomatic theories; set theory; Cantor's theorem, axiom of choice and Zorn's lemma, Peano arithmetic; G枚del's incompleteness theorem.

Terms: Automne 2024

Instructors: Fortier, J茅r么me (Fall)

Back to top