15-251 Great Ideas in Theoretical Computer Science

Spring 2018

Welcome to 15-251, Great Ideas in Theoretical Computer Science. This course is about the rigorous study of computation, which can be described as the process of manipulating information. Computation is a fundamental component of minds, civilizations, nature and the universe. Therefore, having the right language and tools to reason about computation is an important goal. This course teaches the mathematical underpinnings of computation and explores some of the central results and questions regarding the nature of computation.