“P vs NP问题”全貌与计算复杂性类：千禧年大奖难题解析与编程意义
分类
70 个页面
计算机科学
Lambda演算与函数式编程的起源：从阿隆佐·邱奇的理论到Lisp、Haskell
图灵机与可计算性理论：艾伦·图灵的思想实验与“停机问题”
自动机与形式语言理论：正则表达式的背后与乔姆斯基谱系
康威生命游戏：从简单规则中涌现出类生命复杂性的元胞自动机
四色问题（Four Color Theorem） - 任何地图都能用4种颜色着色吗
哥德尔不完备定理：在数学上证明“绝对无法证明的真理”
停机问题（Halting Problem）：绝对无法做出的最强程序
罗伯特·弗洛伊德的循环检测法（龟兔赛跑算法）
素数分解的极限与时间复杂度的大O表示法分析
