Colored Schedule Types link to scheduled sections of the course for the term at this institution. If all Schedule Types are listed in black text, the course is not scheduled for the term. |
MATH 654 - Introduction to Logic - University of Hawaii at Manoa |
Model theory, computability theory, set theory. In particular syntax and semantics of first order logic; incompleteness, completeness, and compactness theorems; Loewenheim-Skolem theorems; computable and computably enumerable sets; axioms of set theory; ordinals and cardinals. Graduate students only.
3.000 Credit hours 45.000 Lecture hours Schedule Types: Lecture Math Department Restrictions: May not be enrolled in one of the following Programs: Summer Only-Undergrad-ND Summer Only-Post Bacc-ND May not be enrolled in one of the following Degrees: Non Degree Must be enrolled in one of the following Campuses: University of Hawaii at Manoa |
Return to Previous |
![]() |