Logic Minor Course Requirements
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 | |
| CSCI 4222 | Theory of Computer Translators | |
No more than two courses may count toward both the student’s major and the minor in logic.