The relationships between mathematics and computer science make an ability in both common. This program is designed to combine the two interests to equip the graduate for a creative problem solving career employing both.
Carnegie Mellon is the home to an interdisciplinary program in Pure and Applied Logic which also provides unusual depth in logic for interested students.
Selected courses:
Fundamental Data Structures and Algorithms
Principles of Programming
Basic Logic
Combinatorics
Graph Theory
| Suggested course sequence | ||
| Sophomore Year: Fall | Units | |
| 15-211 | Fundamental Data Structures and Algorithms | 12 |
| 21-201 | Undergraduate Colloquium | 1 |
| 21-301 | Combinatorics | 9 |
| 21-341 | Linear Algebra I | 9 |
| 03-121 | Modern Biology | 9 |
| xx-xxx | Humanities Elective | 9 |
| 49 | ||
| Spring | ||
| 15-212 | Principles of Programming | 12 |
| 21-201 | Undergraduate Colloquium | 1 |
| xx-xxx | Discrete Math/Logic | 9 |
| xx-xxx | Technical Elective | 9 |
| xx-xxx | Humanities Elective | 9 |
| 40 | ||
| Junior Year: Fall | ||
| 15-3xx | Computer Science Elective | 9 |
| 21-300 | Basic Logic | 9 |
| 21-355 | Principles of Real Analysis I | 9 |
| xx-xxx | Humanities Elective | 9 |
| xx-xxx | Elective | 9 |
| 45 | ||
| Spring | ||
| 15-3xx | Computer Science Elective | 9 |
| 21-373 | Algebraic Structures | 9 |
| 21-484 | Graph Theory | 9 |
| xx-xxx | Humanities Elective | 9 |
| xx-xxx | Elective | 9 |
| 45 | ||
| Senior Year: Fall | ||
| xx-xxx | Discrete Math/Logic | 9 |
| xx-xxx | Technical Elective | 9 |
| xx-xxx | Humanities Elective | 9 |
| xx-xxx | Elective | 9 |
| xx-xxx | Elective | 9 |
| 45 | ||
| Spring | ||
| xx-xxx | Discrete Math/Logic | 9 |
| xx-xxx | Technical Elective | 9 |
| xx-xxx | Technical Elective | 9 |
| xx-xxx | Humanities Elective | 9 |
| xx-xxx | Elective | 9 |
| 45 | ||
Discrete Mathematics and Logic (Three of the following):
| 21-229 Set Theory | |
| 21-374 Field Theory | |
| 21-441 Number Theory | |
| 80-410 Recursion and Hierarchies | |
| Any of the following graduate courses: | |
| 21-602 Introduction to Set Theory | |
| 21-603 Introduction to Model Theory | |
| 21-610 Algebra I | |
| 21-700 Mathematical Logic II |
Computer Science electives: Any two courses at the 300 level or above. The following are specifically suggested:
| 15-312 Programming Languages Design and Processing | |
| 15-451 Algorithm Design and Analysis | |
| 15-453 Formal Languages and Automata | |
| 17-671 Models of Software Systems |
Technical Electives: Any four mathematical science courses at 300 level or above, or from the following list:
| 21-259 Calculus in Three Dimensions | |
| 21-260 Differential Equations | |
| 21-292 Operations Research I | |
| 21-325 Probability | |
| 36-217 Probability Theory and Random Processes | |
| 80-405 Game Theory | |
| 80-411 Proof Theory | |
| 80-480 Linguistic Theory |