Fall 2020 Courses

5260. Mathematical Logic I

3.00 credits

Prerequisites: Prerequisite: MATH 5210 (RG380).

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: 13-AUG-20 05.20.19.772796 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 2020 13754 Storrs Distance Learning Dzhafarov, Damir 001 MoWeFr 10:10am‑11:00am
No Room Required - Online 14/25