5260. Mathematical Logic I
3.00 credits
Prerequisites: MATH 5210.
Grading Basis: Graded
Predicate calculus, completeness, compactness, Lowenheim-Skolem theorems, formal theories with applications to algebra, Godel's incompleteness theorem. Further topics chosen from: axiomatic set theory, model theory, recursion theory, computational complexity, automata theory and formal languages.
Last Refreshed: 19-FEB-26 05.20.19.619725 AM
To view current class enrollment click the refresh icon next to the enrollment numbers.
| Term | Class Number | Campus | Instruction Mode | Instructor | Section | Schedule | Enrollment | |
|---|---|---|---|---|---|---|---|---|
| 1268 1415 1 001 | Fall 2026 | 1415 | Storrs | In Person | Dzhafarov, Damir | 001 | MoWe 2:00pm‑3:15pm |
0/20 |