《计算理论.pptVIP

* * * 计算机领域的爵士——C. A. R. Hoare，1934年出生于英国，1959年博士毕业于俄罗斯莫斯科国立大学，获得语言机器翻译专业学士学位。 1960年发布了使他闻名于世的快速排序算法（Quick Sort），这个算法也是当前世界上使用最广泛的算法之一。 Tony Hoare在取得博士学位后，就职于Elliott Brothers，领导了Algol 60第一个商用编译器的设计与开发，由于其出色的成绩，最终成为该公司首席科学家。他于1969年发表了论文计算机程序的公理基础提出了名为Hoare逻辑的形式系统理论。这个系统的用途是为了使用严格的数理逻辑推理计算机程序的正确性提供一组逻辑规则。他还设计了形式化语言CSP（Communicating Sequential Processes）用以描述并发进程相互作用。从1977年开始，Tony Hoare博士任职于牛津大学，投身于计算系统的精确性的研究、设计及开发。因其对Algol60程序设计语言理论、互动式系统及APL的贡献，1980年被美国计算机协会授予“图灵奖”。 1999年在牛津大学退学后，TonyHoare博士被微软剑桥研究院聘请担任高级程序员，从事微软剑桥研究院研究生成果的工业化应用的工作，以及协助其它研究人员进行服务于软件产业及用户的长期基础研究项目。2000年因为其在计算机科学与教育上做出的贡献被封为爵士。 2000年获得日本稻盛财团设立的国际大奖 ——京都奖(尖端技术领域)，同年，英国女王伊丽莎白二世授予Tony Hoare爵士爵位，以表彰他对计算机科学所做出的巨大贡献。  * Computer Department LLL * 皮耶·德·费马（Pierre de Fermat）是一个17世纪的法国律师，也是一位业余数学家。之所以称皮耶·德·费玛「业余」，是由于皮耶·德·费玛具有律师的全职工作。著名的数学史学家贝尔（E. T. Bell）在20世纪初所撰写的著作中，称皮耶·德·费玛为”业余数学家之王“。贝尔深信，费玛比皮耶·德·费玛同时代的大多数专业数学家更有成就。17世纪是杰出数学家活跃的世纪，而贝尔认为费玛是17世纪数学家中最多产的明星。 成就：解析几何、微积分、概率论、数论、光学。 * 皮耶·德·费马（Pierre de Fermat）是一个17世纪的法国律师，也是一位业余数学家。之所以称皮耶·德·费玛「业余」，是由于皮耶·德·费玛具有律师的全职工作。著名的数学史学家贝尔（E. T. Bell）在20世纪初所撰写的著作中，称皮耶·德·费玛为”业余数学家之王“。贝尔深信，费玛比皮耶·德·费玛同时代的大多数专业数学家更有成就。17世纪是杰出数学家活跃的世纪，而贝尔认为费玛是17世纪数学家中最多产的明星。 成就：解析几何、微积分、概率论、数论、光学。 * Computer Department LLL * Computer Department LLL * * Computer Department LLL * Computer Department LLL * Computer Department LLL PDA包括很多 * 邱奇-图灵论题(The Church-Turing thesis)是计算机科学中以数学家阿隆佐·邱奇(Alonzo Church)和阿兰·图灵命名的论题。该论题最基本的观点表明，所有有计算或算法都可以由一台图灵机来执行。以任何常规编程语言编写的计算机程序都可以翻译成一台图灵机，反之任何一台图灵机也都可以翻译成大部分编程语言大程序，所以该论题和以下说法等价：常规的编程语言可以足够有效的来表达任何算法。该论题被普遍假定为真，也被称为邱奇论题或邱奇猜想和图灵论题。 * * * * * * * 邱奇-图灵论题(The Church-Turing thesis)是计算机科学中以数学家阿隆佐·邱奇(Alonzo Church)和阿兰·图灵命名的论题。该论题最基本的观点表明，所有有计算或算法都可以由一台图灵机来执行。以任何常规编程语言编写的计算机程序都可以翻译成一台图灵机，反之任何一台图灵机也都可以翻译成大部分编程语言大程序，所以该论题和以下说法等价：常规的编程语言可以足够有效的来表达任何算法。该论题被普遍假定为真，也被称为邱奇论题或邱奇猜想和图灵论题。 * 1950年10月发表的论文“计算机和智能”（Computing Machinery and Intelligence）。在这篇经典的论文中，图灵进一步阐明了他认为计算机可以有智能的思想，并提出了测试机器是否有智能的方法，他称之为“模仿游戏”(Imitation Game)，而大家现在称之为“图灵测试”(Turing Test)。图灵预言，在50年以内，计算机可以