Mar 29, 2024  
2018-2019 Undergraduate Catalogue 
    
2018-2019 Undergraduate Catalogue Archived Catalogue

MAT 481 - Introduction to Mathematical Logic

Credit Hours: 3
(MAT 581 ) Prerequisite: MAT 275  and MAT 336 . 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.


Click here for the Spring 2024 Class Schedule.