Carnegie Mellon University

Sample Curriculum

A typical course schedule might look as follows:

Fall First Year

  • Formal Logic
  • Philosophy Core Seminar
  • Formal Methods

Spring First Year

  • Computability and Incompleteness (half-semester)
  • Philosophy Core Seminar II
  • Formal Methods (half-semester)
  • Two Directed Readings (second half of semester)

Fall Second Year

  • Interdisciplinary elective
  • Elective
  • Elective

Spring Second Year

  • Thesis seminar
  • Elective
  • Supervised MS thesis research

It is not unusual for a student to take or audit a fourth course in some semesters.