Mathematical Logic I
Overview
Subject area
MAT
Catalog Number
771
Course Title
Mathematical Logic I
Department(s)
Description
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.
Typically Offered
Fall, Spring
Academic Career
Graduate
Liberal Arts
Yes
Credits
Minimum Units
4
Maximum Units
4
Academic Progress Units
4
Repeat For Credit
No
Components
Name
Lecture
Hours
4