Undergraduate Course Directory

Course Search

To filter and search by keywords in course titles, see the Course Search.

Courses by Subject Area

Click on the links below for a list of courses in that subject area. You may then click “View Classes” to see scheduled classes for individual courses. See the Ratcliffe Hicks Courses page for a list of those courses.

3265. Applied Mathematical Logic

3.00 credits

Prerequisites: MATH 2142, 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: 16-SEP-19 AM
To view current class enrollment click the refresh icon next to the enrollment numbers.
Term Campus Instruction Mode Instructor Section Session Schedule Location Enrollment Notes
Spring 2020 Storrs In Person Conrad, Keith 001 Reg MoWeFr 12:20pm‑1:10pm