Logic Minor Course Requirements
This Bulletin covers the degree requirements for students matriculating in the current academic year. Students who matriculated before the current year can find their requirements in the relevant archived Bulletin.
The following requirements must be fulfilled: 18 credits in elective courses.
| Code | Title | Credits |
|---|---|---|
| Required | ||
| One course (3 credits) from the following: | ||
| PHIL 2045 | Introduction to Logic | |
| PHIL 3121 | Symbolic Logic | |
| One course (3 credits) from the following: | ||
| MATH 3710 | Introduction to Mathematical Logic | |
| MATH 3720 | Axiomatic Set Theory | |
| MATH 3730 | Computability Theory | |
| MATH 3740 | Computational Complexity | |
| Four additional courses (12 credits) from the lists above or from the following: | ||
| CSCI 1112 | Algorithms and Data Structures | |
| CSCI 3313 | Foundations of Computing | |
No more than two courses may count toward both the student’s major and the minor in logic.