| |
Apr 24, 2024
|
|
|
|
|
Catalog 2019-2020 [ARCHIVED CATALOG]
|
MATH 306 - Logic and Foundations
A careful analysis of methods of proof, axiomatic systems, consistency, the elaboration of mathematical structures from a minimal set of axioms and basic principals of symbolic logic. Students gain an understanding of the nature and purpose of axiomatic systems, and the ability to prove fundamental theorems utilizing various mathematical systems.
Prerequisite(s)/Corequisite(s): (Prereq: MATH 308 with a C- or better)
Typically Offered: Periodically offered
Units: 4
|
|
