Loading page · 正在加载页面
Loading page · 正在加载页面
Carnegie Mellon University · 15-251
理论计算机科学中的伟大思想
A rigorous introduction to computation, computability, complexity, combinatorics, graph theory, probability, number theory, and mathematical proof.
Subject：Theory of Computation
Level：Undergraduate
Suggested stage：Years 2–3 (inferred)
Public-material edition：2018
Language：English
Videos：Not verified
Assignments / solutions：Available / Available
Start here
Lectures, video, assignments and exams are separated so you do not have to hunt through the course homepage.
Use these to browse a complete resource collection; the section above links directly to individual study items.
Every link points to an official university or course-team page. The year identifies the linked public-material edition, not necessarily the latest on-campus offering; a school may have newer materials that are not public. Unknown facts remain unverified rather than guessed.
Carnegie Mellon University School of Computer Science · verified 2026-08-03