MATH 318. Mathematical Logic.
Note: For information about Fall 2025 and Winter 2026 course offerings, please check back on May 8, 2025. Until then, the "Terms offered" field will appear blank for most courses while the class schedule is being finalized.
MATH 318
Mathematical Logic.
Credits: 3
Offered by: Mathematics and Statistics (Faculty of Science)
This course is not offered this catalogue year.
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.
Most students use Visual Schedule Builder (VSB) to organize their schedules. VSB helps you plan class schedules, travel time, and more.
Launch Visual Schedule Builder