Academic Calendar - 2019

Western University Academic Calendar. - 2019
Western Main Campus

Mathematics 4158A/B/Y

FOUNDATIONS OF MATHEMATICS


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
Breadth: CATEGORY C i  
Subject Code: MATH

This Course is Mentioned in the Following Calendar Pages: