University of Connecticut

Course Info

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)

Credits: 3

Sections: Spring 2018 on Storrs Campus

PSCourseID Course Sec Comp Time Room Instructor
15111 3265 001 Lecture MWF 11:15:00 AM-12:05:00 PM MONT225 Solomon, David