University of Connecticut

Course Info

MATH 3260: Introduction to Mathematical Logic

Description: 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.

Prerequisites: A grade of C or better in MATH 2142 or 2710. PHIL 2211 is recommended.

Offered: Spring (odd years)

Credits: 3

Sections: Fall 2017 on Storrs Campus