MATH3383Introduction to Mathematical Logic3ch (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.