Feb 27, 2024  
2012-2013 Undergraduate Catalogue 
2012-2013 Undergraduate Catalogue Archived Catalogue

MAT 481 - Introduction to Mathematical Logic

Credits: 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.