Great Ideas in Theoretical Computer Science

Great Ideas in Theoretical Computer Science

Great Ideas in Theoretical Computer Science

Great Ideas in Theoretical Computer Science

Great Ideas in Theoretical Computer Science

Welcome to CS251 at CMU!

This course is about the rigorous study of computation, which is a fundamental aspect of our universe, societies, new technologies, as well as the minds we use to understand these things. Therefore, having the right language and tools to study 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.

In Spring 2022, we will start to make CS251 material available online, right here.
Stay tuned...