Prerequisites: A grade of C or better in MATH 2142 or 2710. Recommended preparation: PHIL 2211.
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: 13-AUG-20 05.20.19.772796 AM
|Term||Class Number||Campus||Instruction Mode||Instructor||Section||Schedule||Location||Enrollment|
|1193 16214 1 001||Spring 2019||16214||Storrs||In Person||Dzhafarov, Damir||001||MoWeFr 12:20pm‑1:10pm