Spring 2025 Courses

3265. Applied Mathematical Logic

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.


Last Refreshed: 12-NOV-24 05.20.14.588552 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
Spring 2025 6942 Storrs In Person Solomon, Reed 001 MoWeFr 12:20pm‑1:10pm
MONT 226 17/30