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.

No classes found.