2019-2020 Undergraduate Catalogue Archived Catalogue
|
MAT 481 - Introduction to Mathematical Logic
The formal study of truth and provability. Propositional calculus; predicate calculus. Godel’s completeness theorem, applications to formal number theory and incompleteness. Additional topics chosen from areas such as undecidability or nonstandard analysis.
Credit Hours: 3
Prerequisite Courses: MAT 275 and MAT 336
Crosslisting: MAT 581
Course Repeatablility: Course may not be repeated. Maximum Repeatable Hours: 3
Click here for the Fall 2024 Class Schedule.
|
