Logic Minor Course Requirements

The following requirements must be fulfilled: 18 credits in elective courses.
One course (3 credits) from the following:
PHIL 2045Introduction to Logic
PHIL 3121Symbolic Logic
One course (3 credits) from the following:
MATH 3710Introduction to Mathematical Logic
MATH 3720Axiomatic Set Theory
MATH 3730Computability Theory
MATH 3740Computational Complexity
Four additional courses (12 credits) from the lists above or from the following:
CSCI 1112Algorithms and Data Structures
CSCI 3313Foundations of Computing

No more than two courses may count toward both the student’s major and the minor in logic.