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.
3260. Introduction to Mathematical Logic
3.00 credits
Prerequisites: A grade of C or better in MATH 2142Q or 2710. Recommended preparation: PHIL 2211Q.
Grading Basis: Graded
Formalization of mathematical theories, elementary model theory with applications to algebra, number theory, and non-standard analysis. Additional topics: Elementary recursion theory and axiomatic set theory. Emphasis on the applications of logic to mathematics rather than the philosophical foundations of logic.
Last Refreshed: 27-JAN-23 05.20.31.831914 AM
Term | Campus | Instruction Mode | Instructor | Section | Session | Schedule | Location | Enrollment | Notes | |
---|---|---|---|---|---|---|---|---|---|---|
1233 15168 1 001 | Spring 2023 | Storrs | In Person | Dzhafarov, Damir | 001 | Reg | TuTh 2:00pm‑3:15pm |
MONT 110 | 14/25 |