Great Ideas in Theoretical Computer Science

Free, no sign-up neededSpring 2008English

About this course

This course provides a challenging introduction to some of the central ideas of theoretical computer science. It attempts to present a vision of “computer science beyond computers”: that is, CS as a set of mathematical tools for understanding complex systems such as universes and minds. Beginning in antiquity—with Euclid’s algorithm and other ancient examples of computational thinking—the course will progress rapidly through propositional logic, Turing machines and computability, finite…

Description from MIT OpenCourseWare.

Where to take this course