《计算机导论》PPT课件

《《计算机导论》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、内容提要2.1概2.3数据在计算机中的表示2.2图灵机在第一台电子计算机ENIAC诞生的10年前即1936年，英国数学家图灵发表了题为“论可计算数及其在判定问题中的应用”﹙OnComputerNumbersWithanApplicationtotheEntscheidungsProblem﹚的学术论文，奠定了学术界公认的现代电子计算机的理论和模型基础。1、希尔伯特纲领20世纪初，逐步形成了关于数学基础研究的逻辑主义、直觉主义和形式主义三大流派。其中，形式主义流派的代表人物是数学家希尔伯特﹙D．Hilber

2、t﹚。他在数学基础的研究中提出了一个设想，其大意是：将每一门数学的分支形式化，构成形式系统或形式理论，并在以此为对象的元理论即元数学中，证明每一个形式系统的相容性，从而导出全部数学的相容性，希尔伯特的这一设想，就是所谓的“西尔伯特纲领”。“西尔伯特纲领”的目标，其实质就是要寻找通用的形式逻辑系统，该系统应当是完备的，即在该系统中，可以机械地判定任何给定命题的真伪。D．Hilbert希尔伯特“西尔伯特纲领”的研究基础是逻辑和代数，主要源于19世纪英国数学家乔治·布尔﹙G．Boole﹚所创立的逻辑代数体系﹙即

3、布尔代数﹚。1854年，布尔在他的著作中成功地将“真”、“假”两种逻辑值和“与”、“或”、“非”3种逻辑运算归结为一种代数。这样，形式逻辑系统中的任何命题都可用数学符号表示出来，并能按照一定的规则推导出结论。尽管布尔没有将“布尔代数”与计算机联系起来，但他的工作却为现代计算机的诞生作了重要的理论准备。G．Boole乔治·布尔希尔伯特的工作建立在布尔工作的基础上，并使其进一步具体化。希尔伯特对实现自己的纲领充满信心。然而，1931年，奥地利25岁的数理逻辑学家哥德尔﹙K．Gödel﹚提出的关于形式系统的“不

4、完备性定理”中指出，这种形式系统是不存在的，从而宣告了著名的“西尔伯特纲领”的失败。希尔伯特纲领的失败同时也暴露了形式系统的局限性，它表明形式系统不能穷尽全部数学命题，任何形式系统中都存在着该系统所不能判定其真伪的命题。“西尔伯特纲领”虽然失败了，但它仍然不失为人类抽象思维的一个伟大成果，它的历史意义是多方面的。首先，“西尔伯特纲领”是在保全古典数学的前提下去排除集合论悖论的，它给数学基础问题的研究带来了全新的转机。其次，希尔伯特纲领的提出使元数学得到了确立和发展。最后，对计算学科而言，最具意义的是，希尔

5、伯特纲领的失败启发人们应避免花费大量的精力去证明那些不能判定的问题，而应把精力集中于解决具有能行性的问题。2、图灵对计算本质的揭示在哥德尔研究成果的影响下20世纪30年代后期，图灵﹙A．M．Turing﹚从计算一个数的一般过程入手对计算的本质进行了研究，从而实现了对计算本质的真正认识。根据图灵的研究，直观地说，所谓计算就是计算者﹙人或机器﹚对一条两端可无限延长的纸带上的一串0和1执行指令，一步一步地改变纸带上的0或1，经过有限步骤，最后得到一个满足预先规定的符号串的变换过程。图灵用形式化方法成功表述可计算

6、这一过程的本质。图灵的研究成果是哥德尔研究成果的进一步深化，该成果不仅再次表明了某些数学问题是不能用任何机械过程来解决的思想，而且还深刻揭示可计算所具有的“能行过程”的本质特征。图灵的描述是关于数值计算的，不过，我们知道英文字母表的字母以及汉字均可以用数来表示，因此，图灵机同样可以处理非数值计算。不仅如此，更为重要的是，由数值和非数值﹙英文字母、汉字等﹚组成的字符串，既可以解释成数据，又可以解释成程序，从而计算的每一过程都可以用字符串的形式进行编码，并存放在存储器中，以后使用时译码，并由处理器执行，机器码

7、﹙结果﹚可以从高级符号形式﹙即程序设计语言﹚机械地推导出来。图灵的研究成果是：可计算性＝图灵可计算性。在进行可计算性问题的讨论时，不可避免地要提到一个与计算具有同等地位和意义的基本概念，那就是算法。算法也称为能行方法或能行过程，是对解题﹙计算﹚过程的精确描述，它由一组定义明确且能机械执行的规则﹙语句、指令等﹚组成。根据图灵的论点，可以得到这样的结论：任一过程是能行的﹙能够具体表现在一个算法中﹚，当且仅当它能够被一台图灵机实现。图灵机等计算模型均是用来解决问题的，理论上的能行性隐含着计算模型的正确性，而实际

8、实现中的能行性还包含时间与空间的有效性。3、图灵机为纪念图灵对计算机的贡献，美国计算机博物馆于1966年设立了“图灵奖”计算机是使用相应的程序来完成任何设定好的任务。图灵机是一种思想模型，它由三部分组成：一个控制器，一条可以无限延伸的带子和一个在带子上左右移动的读写头。根据图灵的观点可以得到这样的结论：凡是能用算法方法解决的问题，也一定能用图灵机解决；凡是图灵机解决不了的问题，任何算法也解决不了。今天我们知道，图灵机与当时提出