信息学院陆嘉恒www.jiahenglu.net课件.ppt

  1. 1、本文档共38页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
参考书 计算机科学引论 (2008影印版) Computer Essentials 作者: Timonthy J. O’Leary, Linda I. O’Leary 高等教育出版社 阅读 Chapter 1 Chapter 2 作业: Page22: Crossword puzzle, Multiple Choice, Matching Page54: Crossword puzzle, Multiple Choice, Matching Chapter 1 Information System People Software Hardware Chapter 1 Data Connectivity, the Wireless Revolution, and the Internet Careers in IT Chapter 2 The Internet and the Web Access Communication Making IT work for you Blocking Spam Search Tools Electronic Commerce Web Utilities Careers in IT: Webmaster 计算机病毒 网上视频: /programs/view/IGf153d9BnI/ 下载课程slides 中文版 Question and Answer? 艾伦·麦席森·图灵 Alan Mathison Turing 1912年6月23日—1954年6月7日 英国数学家 1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,二战爆发后回到剑桥。 1936年,24岁发表著名论文《论可计算数及其在密码问题的应用》,提出了“理想计算机”,后人称之为“图灵机”。图林通过数学证明得出理论上存在“通用图林机”,这为可计算性的概念提供了严格的数学定义, 1950年的另一篇著名论文《Computing Machinery and Intelligence》 提出了“计算机能思考吗?” (Can Machine Think?) ,对计算机的人工智能进行了探索,并设计了著名的“图灵测验”。至今,每年都有试验的比赛。 图灵测试 问: 请给我写出有关“第四号桥”主题的十四行诗。 答:不要问我这道题,我从来不会写诗。 问:34957加70764等于多少? 答:(停30秒后)105721 问:你会下国际象棋吗? 答:是的。 问:我在我的K1处有棋子K;你仅在K6处有棋子K,在R1处有棋子R。现在轮到你走,你应该下那步棋?  答:(停15秒钟后)棋子R走到R8处,将军! 图灵测试(1) 问:你会下国际象棋吗? 答:是的。 问:你会下国际象棋吗? 答:是的。 问:请再次回答,你会下国际象棋吗? 答:是的。 图灵测试 (2) 问: 你会下国际象棋吗? 答:是的。 问:你会下国际象棋吗? 答:是的,我不是已经说过了吗? 问:请再次回答,你会下国际象棋吗? 答:你烦不烦,干嘛老提同样的问题。 1954年图灵英年早逝,年仅42岁。 图灵奖:是美国计算机协会(Association for Computing Machinery,ACM)于1966年设立的。 图灵奖对获奖者的要求极高,评奖程序极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。 因此,尽管“图灵”的奖金数额不算高,但它却是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。 2008 图灵奖 Edmund M. Clarke,Allen Emerson和Joseph Sifakis在开发自动化方法检测计算机硬件和软件中的设计错误上的贡献而授予此计算机行业的最重要奖项。 模型检测(Model Checking)是一类“验证”,分析设计背后的逻辑,就像数学家用证明来判断一个定理是否正确。 * * * * 找大质数的问题:有没有一个公式,你一套公式,就可以一步步推算出来,下一个质数应该是多少呢?这样的公式是没有的。 大的合数分解质因数的问题,有没有一个公式,把合数代进去,就直接可以算出,它的因子各自是多少?也没有这样的公式 * 2004年,由于在计算机信息处理方面的突出贡献,获得皮奥尔奖。同年获瑞士洛桑联邦工业大学荣誉博士。  截至2006年,已发表论文160篇。 2004年,由于在计算机信息处理方面的突出贡献,获得皮奥尔奖。同年获瑞士洛桑联邦工业大学荣誉博士。  截至2006年,已发表论文160篇。 加拿大多伦多大学教授斯蒂芬·库克因在计算复杂性理论方面的贡献,尤其是在奠

文档评论(0)

沃爱茜 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档