大学计算机基础第01章.ppt

大学计算机基础 计算机的发展 作为能够模拟人类思维的高级计算工具，电子计算机有着严谨的数学理论基础和精密的体系结构。1946年问世的ENIAC堪称二十世纪人类最伟大的发明，它标志着现代电子计算机时代的到来。但在ENIAC问世之前，无数杰出的科学家为之付出了艰苦的努力，有一些人的名字是应当被永远铭记的 布尔－逻辑代数 早在1847和1854年，英国数学家布尔发表了两部重要著作《逻辑的数学分析》和《思维规律的研究》，创立了逻辑代数。逻辑代数系统采用二进制，是现代电子计算机的数学和逻辑基础。 阿塔纳索夫-计算机三原则 1939年，阿塔纳索夫提出计算机三原则:采用二进制进行运算；采用电子技术来实现控制和运算；采用把计算功能和存储功能相分离的结构。 1939年，阿塔纳索夫还设计并试制数字电子计算机的样机“ABC机”，但未能完工。 维纳-现代计算机设计五原则 1940年，美国科学家维纳阐述了自己对现代计算机的五点设计原则：数字式而不是模拟式；以电子元件构成并尽量减少机械装置；采用二进制而不是十进制；内部存放计算表；内部存储数据。 仙农-计算机开关电路 1938年，信息论的创始人、美国科学家仙农发表论文《继电器和开关电路的符号分析》，首次阐述了如何将布尔代数运用于逻辑电路，奠定了现代电子计算机开关电路的理论基础。 图灵-计算机科学奠基人 图灵， A．M．Turing， ( Alan Mathison) 1912年6月23日生于英国伦敦； 1954年6月7日卒于 英国威姆斯洛(Wilmslow)． 图灵-可计算理论（图灵机） 1936年，图灵作出了他一生最重要的科学贡献，他在其著名的论文《论可计算数在判定问题中的应用（On Computer numbers with an Application to the Entscheidungs -problem）》一文中，以布尔代数为基础，将逻辑中的任意命题（即可用数学符号）用一种通用的机器来表示和完成，并能按照一定的规则推导出结论。 图灵通过数学证明得出理论上存在“通用图灵机”，这为可计算性的概念提供了严格的数学定义，图灵机成为现代通用数字计算机的数学模型，它证明通用数字计算机是可以制造出来的。 这篇论文被誉为现代计算机原理开山之作,它描述了一种假想的可实现通用计算的机器，后人称之为“图灵机”。 图灵-Turing测试（人工智能） 1950年，图灵发表了著名的“计算机器和智能”的论文。这篇文章对智能给出一个行为主义的定义，也是一个关于机器人的著名判断原则： 如果一个人使用任意一串问题去询问两个他不能看见的对象：一个是正常思维的人；一个是机器，如果经过若干询问以后他不能得出实质的区别，则他就可以认为该机器业已具备了人的“智慧”(AI)。 图灵的机器智能思想无疑是人工智能的直接起源之一．而且随人工智能领域的深入研究，人们越来越认识到图灵思想的深刻性：它们至今仍然是人工智能的主要思想之一． 图灵奖 由美国计算机协会（ACM，Association for Computer Machinery）于 1966年设立的，专门奖励那些对计算机科学研究与推动计算机技术发展有卓越贡献的杰出科学家。设立的初衷是因为计算机技术的飞速发展，尤其到20世纪60年代，其已成为一个独立的有影响的学科，信息产业亦逐步形成，但在这一产业中却一直没有一项类似“诺贝尔”、“普利策”等的奖项来促进该学科的进一步发展，为了弥补这一缺陷，于是“图灵”奖便应运而生，它被公认为计算机界的“诺贝尔”奖。 冯·诺伊曼－现代电子计算机之父 1944~1945年间，美籍匈牙利科学家冯·诺伊曼在第一台现代计算机ENIAC尚未问世时注意到其弱点，并提出一个新机型EDVAC的设计方案，其中提到了两个设想： 采用二进制 “存储程序” 这两个设想对于现代计算机至关重要，也使冯·诺伊曼成为“现代电子计算机之父” 冯·诺伊曼－现代电子计算机之父 在“关于电子计算机逻辑设计的初步讨论”的报告中，冯·诺伊曼讨论了电子计算机的结构问题： 由输入、控制、运算、存储、输出五大部件构成整机 ENIAC 1946年2月15日，世界上第一台通用数字电子计算机ENIAC研制成功，承担开发任务的“莫尔小组”由四位科学家和工程师埃克特、莫克利、戈尔斯坦、博克斯组成，总工程师埃克特当时年仅24岁。 ENIAC ENIAC的诞生背景极富戏剧性。1942年8月，莫克利的报告《高速电子管计算装置的使用》引起了美国军方的注意，这实际上是第一台电子计算机的设计方案。1943年4月9日，美军上校西蒙向科学顾问、数学家维伯伦博士介绍了这一报告