课件-可计算理论.ppt

* 引言 在还没有计算机的时候， 凭想象力把后来出现的 把计算机的理论模型建立起来了。 1936年 想得如此周到、严密 好像从高度文明的外星来的文化使者 * 引言 Alan M. Turing (1912–1954) In 1936, Turing introduced hisabstract model for computation inhis article “On Computable Numbers,”. At the same time, Alonzo Church published similar ideas and results. 殊途同归 Turing model 成为理论计算科学的标准模型standard model * 引言 图灵机（Turing Machine，TM），是计算机的一种简单的数学模型。 历史上，冯?诺曼计算机的产生就是由图灵机诱发的。 丘奇—图灵论题：一切合理的计算模型都等同于图灵机. * Computer Department LLL * * Jack?St.?Clair?Kilby 1958年第一块集成电路 ； Lady?Ada?Augusta?Lovelace奥古斯塔艾达，拉弗拉斯伯爵夫人，英国数学家，世界上第一个计算机程序员。 爱德华?罗伯茨于1974年推出最早基于英特尔微处理器的个人电脑Altair 8800，虽然，Altair的生命非常短暂，却从此点燃了PC创新之火，并激发了乔布斯、盖茨等无数爱好者。作为第一个雇佣比尔?盖茨和保罗?艾伦的雇主，对于微软的地步起到了至关重要的作用。罗伯茨无愧于“PC之父”的称号。 斯蒂夫·沃兹尼亚克一手设计了苹果苹果I型和Ⅱ型电脑，带动了全球个人电脑普及应用浪潮，并迫使IBM PC于1981年面世，从此改变了整个计算机业的面貌。1977年，世界上只有少数人具备硬件、软件、电子设备和电路板布线等方面的知识，同时也只有少数人了解苹果Ⅱ计算机的制造技术、艺术特点，并欣赏它的设计优点，史蒂夫·沃兹尼克是个当之无愧的奇才。尽管他的贡献被某些人看作在适当的时间、适当的地点、整合适当的理念，恰好与因技术迅速发展而开始大量生产的电脑完美地相符，但沃兹的独创性和不懈的创造性使他成为唯一适合获得“推动PC革命”的头衔。他与斯蒂夫·乔布斯一起创办了苹果电脑。 现时他仍然是一位小学教师。 * 师智斌1637350520@ * 师智斌1637350520@ 可计算理论 * 师智斌1637350520@ 可计算理论 任何一门学科都有它的基础和它的基本问题，如物质的本质是什么？有机体生命的基础和起源是什么？ 什么是计算机科学的基础？什么是计算机科学的基本问题？ 诸如什么是形式语言？什么是计算？什么是能计算的？什么是不能计算的？什么是算法？如何评价算法？什么样的算法是可行的？这些问题能否判定？这又引出什么是可判定的？什么是不可判定的？ 这些问题就是计算理论要讨论的问题。 课程的引入 * 引言 什么是可计算理论？ 可计算性理论是研究计算的可行性和函数算法的理论。又称算法理论。 它是算法设计与分析的基础，也是计算机科学的理论基础。 什么是可计算性？ 可计算性是函数的一个特性。设函数f的定义域是D，值域是R ，如果存在一种算法 ，对D中任意给定的x ，都能计算出f（x）的值，则称函数f是可计算的。 * 引言 什么是可计算理论？ 可计算性理论是研究计算的一般性质的数学理论，也称算法理论或能行性理论。它通过建立计算的数学模型（例如抽象计算机），精确区分哪些是可计算的，哪些是不可计算的。 什么是可计算性？ 通俗讲，可计算性是指一个实际问题是否可以使用计算机来解决．从广义上讲如“为我烹制一个汉堡”这样的问题是无法用计算机来解决的． * 引言 什么是可计算性？ 但是一个可以使用计算机解决的问题应该被定义为“可以在有限步骤内被解决的问题”，故哥德巴赫猜想这样的问题是不属于“可计算问题”之列的，因为计算机没有办法给出数学意义上的证明，因此也没有任何理由期待计算机能解决世界上所有的问题． 哥德巴赫猜想 在1742年给欧拉的信中哥德巴赫提出了以下猜想：任一大于2的整数都可写成两个质数之和。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。 * 引言 可计算性研究的意义？ 分析某个问题的可计算性意义重大，它使得人们不必浪费时间在不可能解决的问题上（因而可以尽早转而使用除计算机以外更加有效的手段），集中资源在可以解决的问题上． * 引言 可计算性研究的历史？ 可计算性理论起源于对数