MAT 771 - Mathematical Logic I

Overview

Department(s)
Mathematics
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

Credits

Minimum Units
4
Maximum Units
4
Academic Progress Units
4
Repeat For Credit
No

Components

Name
Lecture
Hours
4

Requisites

None

Course Schedule

Loading...