MATH 3410

Introduction to Mathematical Logic

3 cr · Undergraduate

Propositional and first-order logic. Recursion theory. May not be held with the former MATH 4250.

Prerequisites & course information

PR/CR: A minimum grade of C is required unless otherwise indicated. Prerequisite: MATH 2020 or MATH 2021 or the former MATH 2202 or the former MATH 2352 or consent of instructor. Mutually Exclusive: MATH 4250 Attributes: Mathematics Requirement, Science

Sources

Course catalogue ↗2026-2027