这页补计算机专业里最容易被工程路线掩盖的一组课：离散数学、逻辑、自动机、形式语言、可计算性、复杂度和算法理论。它不直接教你做系统，却回答一个更底层的问题：什么叫计算，哪些问题能被计算，哪些问题虽然能算但代价高到不可承受。
工程课常问“怎么做出来”，理论课先问“这件事在计算意义上到底是什么”。
| 课程 | 主问题 | 关键对象 | 继续下钻 |
|---|---|---|---|
| 离散数学 | 计算机如何处理离散对象和证明 | 命题逻辑、谓词逻辑、集合、关系、图、树、组合、归纳法 | 大学数学 / 离散数学 |
| 算法分析 | 算法为什么正确，代价如何随规模增长 | 不变量、递归式、复杂度、排序、图算法、贪心、动态规划 | 数据结构、算法设计与复杂度课群 / 算法技术底座 |
| 自动机理论 | 有限状态机器能识别什么模式 | DFA、NFA、正则语言、状态转移、最小化 | 编译器与运行时底座 |
| 形式语言 | 程序语言、表达式和语法怎样被形式化 | 正则文法、上下文无关文法、BNF、Parse Tree、语法分析 | 编程语言设计 |
| 可计算性理论 | 哪些问题不存在通用算法 | 图灵机、停机问题、判定问题、归约、不可判定性 | 编译运行时 |
| 计算复杂性 | 哪些问题可高效求解，哪些问题可能很难 | P、NP、NP-Complete、归约、近似算法、启发式 | 算法复杂度课群 / 算法技术底座 |
| 逻辑与类型系统 | 程序性质如何被形式化表达和检查 | 命题、证明、类型、规则、约束、静态检查 | 编程语言设计 |
离散数学不是“计算机专业的数学杂货铺”，而是后面算法、自动机、数据库、网络和安全都会反复用到的表达语言。
算法不只看能不能 AC。要能解释循环不变量、递归终止、复杂度上界，以及为什么贪心或动态规划的状态定义成立。
正则表达式、词法分析、语法树和解析器背后都是自动机和形式语言。学到这里，编译原理不再只是龙书目录，而是有清楚模型。
遇到搜索、排班、路径规划、约束求解、推荐组合、全局最优等问题时，要知道什么时候找精确解，什么时候用近似、剪枝、启发式或工程约束。
| 现象 | 优先回到哪门课 | 为什么 | 不要只做 |
|---|---|---|---|
| 算法题会套模板，但解释不了为什么对 | 离散数学 + 算法分析 | 缺的是不变量、归纳证明、反例构造和复杂度分析 | 继续背更多题型 |
| 正则表达式、解析器、编译原理总觉得玄 | 自动机 + 形式语言 | 它们本质是在处理“什么字符串属于某种语言” | 只看工具 API |
| 需求说要找“最优方案”，系统一算就爆炸 | 复杂度理论 | 可能遇到组合爆炸或 NP 难问题，需要换模型或接受近似 | 盲目加机器 |
| 想证明某个程序一定不会出错 | 逻辑 + 类型系统 | 程序性质需要形式化为规则、约束、不变量或类型检查 | 只靠人工评审 |
| 不理解为什么有些问题“没有通用程序能解决” | 可计算性理论 | 停机问题和不可判定性解释了计算能力本身的边界 | 把所有问题都当实现难度 |
| 搜索、规划、调度、约束求解很难落地 | 复杂度 + 算法工程 | 需要在精确性、时间、成本和可解释性之间做取舍 | 只追求理论最优 |
| 页面 | 负责什么 | 什么时候看 |
|---|---|---|
| 本页：理论计算机科学课群 | 负责把离散数学、自动机、可计算性、复杂度和算法理论接成课程路线 | 你想补计算机专业的理论底座和算法边界感时 |
| 程序设计与编程语言基础课群 | 负责把问题翻译成程序、代码结构和开发者基本功 | 你还在补“怎样写出可运行、可调试、可维护程序”时 |
| 数据结构、算法设计与复杂度课群 | 负责把算法分析、常见结构、算法策略和工程复杂度接成课程路线 | 你要把理论证明落到常见算法和性能判断时 |
| 编译原理、运行时与语言实现课群 | 负责把自动机、形式语言、类型和语义接到源代码翻译与执行 | 你要把形式语言和编译理论接到真实运行机制时 |
| 操作系统课群 | 负责程序运行时的进程、内存、并发和资源抽象 | 你要把计算模型接到真实机器资源时 |