3265. Applied Mathematical Logic
3.00 credits
Prerequisites:
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:
To view current class enrollment click the refresh icon next to the enrollment numbers.
| Term | Class Number | Campus | Instruction Mode | Instructor | Section | Session | Schedule | Enrollment | Location | Credits | Grading Basis | Notes |
|---|