2018-2019 University Catalogue 
    
    May 18, 2021  
2018-2019 University Catalogue [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