计算理论

计算理论 【theory of computation】 用来研究计算的过程与功效的数学理论。