MATH 3265: Applied Mathematical Logic
Description: 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.
Prerequisites: MATH 2142, a grade of C or better in MATH 2710, or CSE 2500 or PHIL 2211Q.
Offered: Spring (even years)
Sections: Spring 2018 on Storrs Campus
|15111||3265||001||Lecture||MWF 11:15:00 AM-12:05:00 PM||MONT225||Solomon, David|