Fall 2023 Courses

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: 08-DEC-23 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
Fall 2023 13563 Storrs In Person Solomon, Reed 001 MoWeFr 11:15am‑12:05pm
MONT 227 15/25