计算机导论298383.pptVIP

华北电力大学计算机学院 计算机导论 * 课程名称：计算机导论 专业名称：计算机科学、软件工程 信息安全 主讲教师：吴克河 教授 讲课时间：5-8周主楼B-101周一 3，4节 * 第2章 计算机的诞生 一. 计算机的科学理论 计算是人类活动的需要，数学起源于对计算的研究。在数学发展的初期，针对实际问题研究计算方法和技术是当时的一大特点。 从古希腊数学家开始，出现了对计算的根本问题，即可计算性的研究。 那时的可计算性研究与20世纪不同，其成果只是关于某些问题类的不可计算性。 例如，直角三角形的直角边与斜边之长是不可通约的；一元五次以上方程式不存在通解公式等。 * 随着许多计算问题逐步得到解决和不可计算问题类的不断积累，由于问题的种类繁多，各不相同，这不仅从认识上难以统一已有的成果，而且也使几百年来几代数学家渴望制造出计算机器的梦想因缺乏科学理论而未能成功。无数次的失败使科学家认识到发展计算模型，研究最一般的问题类的可计算性的重要性。 计算模型和数学，与形式化与形式化方法的概念紧密关联。形式是事物的内容存在的外在方式、形状和结构的总和。所谓形式化是将事物的内容与形式相分离，用事物的某种形式来表示事物。形式化方法是在对事物描述形式化的基础上，通过研究事物的形式变化规律来研究事物变化规律的全体方法的总称。 * 20世纪30年代是计算模型研究取得突破性进展的时期。由于受到数理逻辑发展中判定问题引起的计算模型研究和构造性数学学派的影响，哥德尔（K．Godel）、丘奇（A．Church）、图灵（A．M．Turing）、波斯特（E．L．Post）等人在研究中陆续提出了一批计算模型，如递归函数、λ演算、图灵机、波斯特系统等，并称这些模型是用算法方法解决问题的极限。即凡是能用算法方法解决的问题，也一定能用这些计算模型解决；同样，这些计算模型解决不了的问题，任何算法也解决不了。 进一步的研究发现，这些计算模型之间在计算能力上是等价的。其中，以图灵机的特点和性质更接近普通人计算的思想方法，又因其好用而被现代计算机的研究、开发者所采纳。 * 计算模型是刻画计算这一概念的一种抽象的形式系统或数学系统。 算法是对计算过程步骤（或状态）的一种刻画，是计算方法的一种能行实现方式。 在计算科学中，我们通常所说的计算模型，并不是指在其静态或动态数学描述基础上建立求解某一（类）问题计算方法的数学模型，而是指具有状态转换特征，能够对所处理的对象的数据或信息进行表示、加工、变换、输出的数学机器。 * 由于观察计算的角度不同，产生了各种不同的计算模型。例如，递归函数是将可以计算的问题用函数来表示，从考察可以计算的函数应具有怎样的构造入手研究计算；在递归函数的研究中，从少数几个初始函数出发，通过有穷次地使用函数的代入运算、复合运算、以及原始递归等运算，就可以构造出大量复杂的函数。 初始函数可以是： （1）s（x）＝x＋1（后继函数）； （2）o（x）＝0（零函数）； （3）Uj（n）（x1，x2，…，xn）＝xj；（射影函数）。 * 由于初始函数十分简单，它们显然都是可以计算的。如果能够保证今后使用的函数的代入运算、复合运算、以及原始递归等运算都是可以计算的，那么，我们就可以构造出大量可以计算的函数。 也就是：我们希望将一个函数是否可以计算的判定问题，化归为对函数的构造的研究。 在图灵机出现之前，人们专注于关于递归函数理论的研究，在图灵机出现之后，关于可计算性理论的研究转向对以图灵机为基础的研究。 * 二. 三大基石 现代计算机的大部分奠基工作开始于19世纪。一批数学家、物理学家、统计工作者应社会的需要破门而出，踏进了这片寻求人类智力解放的荒野，成了计算机科学技术杰出的先驱。 这时出现了三项直接推进计算机诞生的重大创造，它们是现代计算机成功的基石。 * 一是逻辑代数体系的创立。早在1847年，英国数学家布尔(G．Boole)提出用符号来表达语言和思维逻辑。 在一个实际控制任务中，往往遇到大量“开启”和“关闭”这类最简单和最基本的控制动作。这些开关动作还伴随着一组条件，如路灯的自动“开启”和“关闭”，有照度和时间两个条件，既可用低于某一照度并到达某一时间作为开启条件两条件的这种关系，逻辑上称为“与” ，也可用低于某一照度或到达某一时间或既低于某一照度又到达某一时间