Course Description

MA 308 SET THEORY   3.0 Credit(s)
This course begins with an introduction to first order logic followed by a study of the Zermelo-Fraenkel (ZF) axiomatic system. The study includes a formal development of basic concepts such as the natural numbers, Cartesian products, functions and relations and the concept of infinity from the ZF axioms. This proofs-based course concludes with a study of the axiom of choice (AC), and ordinal and cardinal numbers. Prerequisite: Take MA-301 C grade or better
Offered: As Needed Contact Department