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.
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.
No classes found.