MAT 771: Mathematical Logic I.
4 hours, 4 credits. Development of the propositional calculus and the predicate calculus, with special emphasis on their mathematical aspects and applications. Semantics, axiom systems, and tableau systems will be presented, and Godel's completeness theorem will be proven. Further topics will be selected from computer implementation, model theory, and incompleteness/undecidability. PREREQ: One course in either modern algebra or set theory.
Last modified: 9/6/2013