2020-2021 University Catalog [ARCHIVED CATALOG]
|
MATH 499 - Mathematical Logic The topics covered include the following: propositional and predicate calculus, completeness and compactness theorems, the foundations of nonstandard analysis, first-order model theory, recursive functions, a full proof of Godel’s Incompleteness Theorem, and undecidability.
Credits: 1.00 When Offered: Fall semester only, in alternate years
Corequisite: None Prerequisites: MATH 375 or MATH 320 with B or higher Major/Minor Restrictions: None Class Restriction: None Area of Inquiry: Natural Sciences & Mathematics Liberal Arts CORE: None Formerly: MATH 452
Click here for Course Offerings by term
|