|
Apr 19, 2024
|
|
|
|
2014-2015 University Catalog [ARCHIVED CATALOG]
|
MA 58500 - Mathematical Logic I Credit Hours: 3.00. Propositional and predicate calculus; the Gdel completeness and compactness theorem, primitive recursive and recursive functions; the Gdel incompleteness theorem; Tarski’s theorem; Church’s theorem; recursive undecidability; special topics such as nonstandard analysis. Typically offered Fall.
|
|