Spring 2019 Courses

3260. Intro to Mathematical Logic

3.00 credits

Prerequisites: A grade of C or better in MATH 2142 or 2710. Recommended Preparation: PHIL 2211.

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: 15-FEB-19 05.20.18.166647 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
Spring 2019 16214 Storrs In Person Dzhafarov, Damir 001 MoWeFr 12:20pm‑1:10pm
MONT 314 9/25