计算理论
研究问题 ：计算机的基本能力和局限性是什么？
一、概述
1、计算复杂性 排序简单、排课表难，到底有多难？
2、可计算性 某个问题到底能不能用计算机解决，数学命题的真假就不能
3、自动机：描述什么是计算机（计算的形式化描述），即抽象的理想的计算机模型。
有些模型能解决具体的问题，但是某些能解决通用的问题
二、 自动机
1、不用人参与，自己可以一直走下去的东西。
2、从数学上，计算机是什么？图灵认为 是一个指令执行的序列。算法就是 指令的组合。
3、图灵机不可描述语言：就是这个计算模型解决不了的问题
4、验证一个软件是否与说明书完全一致，是不可描述的（算法解决不了）
5、2个无穷集合怎么描述大小？只要有一个函数，使得x不同，y一定不同，y不同x也一定不同，这样就可以认为是相同规模的
6、与自然数集合相同规模的集合叫做 可数的。正有理数可数，实数集合不可数
7、可归约性
一个问题可以转化为另一个问题
三、时间复杂性
p问题 多项式时间内，图灵机能解决的问题
NP问题 还没有找到多项式时间内的算法，但是可以在多项式时间内验证
四、计算的高级问题
1、近似解
2、概率算法 找不到精确算法时是有效的