Carnegie Mellon ContactLinksSite
Department of Mathematical Sciences
About the Department Graduate Programs Undergraduate Program Research & Centers People
Degree Programs
Courses
Information for Math Sciences majors
Research Opportunities

Home

Discrete Mathematics and Logic
Suggested course sequence
     
Sophomore Year: Fall Units
15-211 Fundamental Data Structures and Algorithms 12
21-201 Undergraduate Colloquium 1
21-301 Combinatorial Analysis 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 Advanced Calculus 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
  36-217 Probability Theory and Random Processes
  80-405 Game Theory
  80-411 Proof Theory
  80-480 Linguistic Theory