MATH 318 — Mathematical Logic

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.

• Rating: 3.48 out of 5 from 440 student reviews
• Difficulty: 4.13 out of 5
• Credits: 3
• Faculty: Faculty of Science
• Department: Mathematics and Statistics
• Prerequisite(s): MATH 235 or MATH 240 or MATH 242.

Sections offered

• Section 001 (Lec), Mon Wed Fri 1:35-2:25 pm — 9 seats open