Aug 18, 2019  
2018-2019 Undergraduate Catalog 
    
2018-2019 Undergraduate Catalog [ARCHIVED CATALOG]

[Add to Portfolio]

MAT 410 Mathematical Logic


The course will cover truth functions and tables, rules of logic, predicate calculus, first order arithmetic, formal set theory, consistency, completeness, recursive functions, and if time permits, Godel Numbers, Godel’s Incompleteness Theorem, algorithms, computability, Church’s Thesis, Turing machines, undecidability of formal systems and the halting problem. Prerequisite(s): MAT 290  3 hour(s).



[Add to Portfolio]