MATH 3265
Applied Mathematical Logic
University of Connecticut-Hartford Campus · UGRD · Fall 2026
1 section
Catalog description
Applied logic selected from set theory, computability theory, nonclassical logic, and type theory. Topics may include ordinal and cardinal numbers, transfinite recursion, the ZFC axioms, models of computation, undecidable problems, modal logic, intuitionistic logic.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #connecticut_hartford_campus-3144Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?