3.00 credits
Prerequisites: MATH 2142Q, or a grade of C or better in MATH 2710, or CSE 2500, or PHIL 2211Q.
Grading Basis: Graded 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.3265. Applied Mathematical Logic
Last Refreshed: 18-NOV-24 05.20.09.662884 AM
Term
Class Number
Campus
Instruction Mode
Instructor
Section
Schedule
Location
Enrollment
1253
6942
1
001
Spring 2025
6942
Storrs
In Person
Solomon, Reed
001
MoWeFr 12:20pm‑1:10pm
MONT 226
24/30
Spring 2025 Courses
To view current class enrollment click the refresh icon next to the enrollment numbers.