MATH 318. Mathematical Logic.
Credits: 3
Offered by: Mathematics and Statistics (Faculty of Science)
Terms offered: Fall 2025
View offerings for Fall 2025 in Visual Schedule Builder.
Description
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.
- Fall
- Prerequisite(s): MATH 235 or MATH 240 or MATH 242.