1. 序言
  2. 译者序
  3. 第x章: 模板
  4. 第0章：引言
  5. 1. 第1章：数学背景
  6. 2. 第2章：计算与表示
  7. 3. 第3章：定义计算
  8. 4. 第4章：语法糖与通用函数计算
  9. 5. 第5章：代码即数据，数据即代码
  10. 6. 第6章：无限域函数、自动机与正则表达式
  11. 7. 第7章：循环与无穷性
  12. 8. 第8章：等价计算模型
  13. 9. 第9章：通用性与不可计算性
  14. 10. 第10章：受限计算模型
  15. 11. 第11章：所有定理皆可证否？
  16. 12. 第12章：高效计算：非正式导论
  17. 13. 第13章：运行时间建模
  18. 14. 第14章：多项式时间规约
  19. 15. 第15章：NP问题、NP完全性与库克-莱文定理
  20. 16. 第16章：若P=NP将会如何？
  21. 17. 第17章：空间受限计算
  22. 18. 第18章：概率论基础
  23. 19. 第19章：概率计算
  24. 20. 第20章：随机计算建模
  25. 21. 第21章：密码学
  26. 22. 第22章：证明与算法
  27. 23. 第23章：量子计算

| 理论计算机科学导论 |

Home Blog