The name of this course is amusingly similar to one offered at CMU, "Great Theoretical Ideas in Computer Science", the content seems similar as well. Perhaps MIT was inspired by it?<p>[1]: <a href="http://www.andrew.cmu.edu/course/15-251/" rel="nofollow">http://www.andrew.cmu.edu/course/15-251/</a>
Thanks for posting. As a self-trained hacker, it's nice sometimes to get read up on broadly-applicable theories in computer science from a current university pedagogy perspective.