计算机科学----一门综合性的学科

从图灵机看计算机

可以说图灵机是对计算机内部处理数据和执行指令等操作的一种数学模型。图灵机首见于英国科学家图灵在1936年发表的《论可计算数及其在判定问题中的应用》一文。区别于物理意义上的实体计算机，图灵机则是一种理想化的且计算能力极强的数学模型，图灵机的这个特点，奠定了它在现代计算机有关计算理论的基础地位。

图灵机的构成

图灵机由三个部分构成
（1）一条无线延伸的纸带。这条纸带上被分成无限多的等长度的储存单元，该储存单元内部可以存放0，1，d，这三个值。
（2）一个读写头。该读写头可以沿着纸带向左或者向右移动，也可以相对这条纸带静止。它能读取纸带储存单元内部的值，同时也可以对其修改。
（3）一个控制器。包括一套控制规则集合一个和状态寄存器。

图灵机的构想是计算机实现的基础，其高程度的数学模型说明了计算机科学是一门理论性十分强的学科，其抽象化的数学概念要求学习计算机这门学科的人具有良好的逻辑思维和一定的数学基础。

计算机科学的定义

计算机学科是抽象，理论，设计这三个学科综合形态的综合体。计算机科学是一门可以与物理数学化学相并列的学科，在此基础上，要求学习计算机学科的人要具有理论研究、模型抽象、工程设计的综合能力。

计算机的三种学科形态

（1）理论研究。理论是数学的根本，数学家对数学的研究就是对数学理论不断的提出和验证。计算机科学的理论研究有相当大的一部分都与数学理论有关，采用的数学理论和原理相当广泛。
（2）模型抽象。模型抽象是自然科学研究的根本。在自然学科中，自然界的一切事物都可以用一个抽象模型来表达，首先提出假设，在对事物模型化求解验证。模型抽象是基于计算机学科的实验科学方法，采用实验物理的研究方法，从而解决计算机上的问题。
（3）工程设计。工程设计是计算机学科学习过程中的主要目的。对该学科的学习主要运用于对实际问题的解决。工程设计是按照为解决问题而构造系统或装置的过程，这个学科形态广泛出现于计算机学科中与硬件软件和应用有关的设计和实现中。