【计算机科学基础】计算理论初步

计算理论是研究计算模型的一门学科，是研究理论计算机的科学。

理论计算机是研究计算机的理论模型，研究计算机的本质，也就是把计算机看成一个数学系统。这是因为，计算机科学的基本思想和模型在本质上是数学(离散)的。

计算机的基本能力和限制是什么?

• 究竟哪些问题, 可通过计算解决？ → → → 可计算性理论
• 解决可计算的问题，究竟需要多少资源？ → → → 计算复杂性理论
• 为了研究计算, 要使用哪些计算模型？