2022-2023 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: with B or higher
Major/Minor Restrictions: None
Class Restriction: None
Area of Inquiry: Natural Sciences & Mathematics
Liberal Arts CORE: None
Click here for Course Offerings by term
|
