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: 21-NOV-24 05.20.22.251815 AM
To view current class enrollment click the refresh icon next to the enrollment numbers.
| Term | Class Number | Campus | Instruction Mode | Instructor | Section | Schedule | Location | Enrollment | |
|---|---|---|---|---|---|---|---|---|---|
| 1238 13563 1 001 | Fall 2023 | 13563 | Storrs | In Person | Solomon, Reed | 001 | MoWeFr 11:15am‑12:05pm |
MONT 227 | 15/25 |