Set theory: axioms, ordinal numbers, transfinite induction, cardinality, the axiom of choice. Foundations of mathematics: construction of the real numbers from the natural numbers by one of the standard methods. First-order logic: propositional calculus, quantifiers, truth and satisfaction, models of first-order theories, consistency, completeness and compactness.
Prerequisite(s): Permission of the Department.
Extra Information: 3 lecture hours.
Course Weight: 0.50
Subject Code: MATH
This Course is Mentioned in the Following Calendar Pages: