小知识：什么是计算理论。

rf_001

理论计算机科学（TCS，Theoretical Computer Science）包括2个分支：
1。计算理论（TOC，Theory of Computing），研究计算的过程与功效。
2。编程理论（TOP，Theory of Programming），研究导致计算的程序的编码。

计算理论又包括：
1）可计算性理论：提供与物理实现无关的、具有严格精确数学含义的计算模型；
  讨论这些模型的能力与限度。主要成果有：图灵机的定义，通用机的存在性，
  停机问题的不可判定性等。
2）计算复杂性理论：研究在资源限制下那些问题的计算是实际可行的。主要成果有：
  NP完全性理论；布尔电路模型的下界证明等。
3）算法设计与分析：研究具体问题的解法。主要方向有：近似算法，随机算法，
  启发式搜索等。数值计算（计算方法）总体上属于这个范畴。