Minerva Class Scheduling Visit Minerva Class Schedule for course dates & times.

McGill.ca / Vue d'ensemble / All Courses
important

Note: This is the 2022–2023 eCalendar. Update the year in your browser's URL bar for the most recent version of this page, or jump to the newest eCalendar.

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 2022

Instructors: Sabok, Marcin (Fall)

Back to top