15-251 Great Ideas in Theoretical Computer Science syllabus https://www.cs.cmu.edu/~aada/courses/15251f15/www/schedule.html