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: 28-FEB-25 05.20.13.012042 AM
To view current class enrollment click the refresh icon next to the enrollment numbers.
| Term | Class Number | Campus | Instruction Mode | Instructor | Section | Schedule | Location | Enrollment | |
|---|---|---|---|---|---|---|---|---|---|
| 1258 5544 1 001 | Fall 2025 | 5544 | Storrs | In Person | Solomon, Reed | 001 | TuTh 12:30pm‑1:45pm |
MONT 110 | 0/32 |