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.

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.

No classes found.