Logic Minor Course Requirements

The following requirements must be fulfilled: 18 credits in elective courses.

Required
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
CSCI 4222Theory of Computer Translators

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