从图灵计算理论到冯诺依曼架构,计算机可解问题,到计算复杂度评估。