2022-2023 Graduate Catalogue Archived Catalogue
|
MAT 581 - Introduction to Mathematical Logic
Course Description: The formal study of truth and provability. Propositional calculus; predicate calculus. Gödel’s completeness theorem, applications to formal number theory and incompleteness. Additional topics chosen from areas such as undecidability or non–standard analysis.
Credit Hours: 3
Corequisite Courses: None
Prerequisite Courses: None
Additional Restrictions/ Requirements: Permission of department.
Course Repeatability: Course may not be repeated
ADDITIONAL COURSE INFORMATION
Equivalent Courses: None
Undergraduate Crosslisting: MAT 481
Additional Course Fees: None
Course Attribute: None
Click here for the Fall 2024 Class Schedule.
|
