Mathematics

MATH3383Introduction to Mathematical Logic3 ch (3C)

The course introduces the basic concepts of mathematical logic, including the Axiom of Choice and its equivalents; propositional logic; languages and structures, axioms and theories, models; elements of model theory (Completeness, Compactness, Löwenheim-Skolem theorems, nonstandard models); theory of computability (ChurchTuring Thesis, recursive functions and sets, recursively enumerable sets, decision problems, the Halting Problem); Gödel's Incompleteness Theorems.

Prerequisites: MATH 1013; and either MATH 1503 or MATH 2213; and either MATH 2203 or CS 1303.