Undergraduate Course Directory

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 AM
To view current class enrollment click the refresh icon next to the enrollment numbers.
Term Campus Instruction Mode Instructor Section Session Schedule Location Enrollment Notes
Spring 2023 Storrs In Person Dzhafarov, Damir 001 Reg TuTh 2:00pm‑3:15pm
MONT 110 14/25