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

McGill.ca / Overview / 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 credits)

Offered by: Mathematics and Statistics (Faculty of Science)

Overview

Mathematics & Statistics (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: Fall 2022

Instructors: Sabok, Marcin (Fall)

Back to top