MATH 318 Mathematical Logic

3 credits · Mathematics and Statistics · Faculty of Science · Offered: Fall

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 incompletene…

Prerequisites

MATH 235 or MATH 240 or MATH 242.

Prerequisite courses: MATH 235, MATH 240, MATH 242

Courses that need MATH 318

COMP 302
LING 360
MATH 591

Plan your whole degree in myDegree. Fit MATH 318 and everything it needs into a plan, term by term. Open myDegree

Source: McGill Course Catalogue. myDegree is an independent student project, not affiliated with McGill University.