计算机学科专业及人才培养.ppt

计算机学科专业及人才培养 计算机学科专业及人才培养 被“遗忘”的电子计算机之父——约翰·阿塔纳索夫 （John Atanasoff，1903-1995） 存放在衣阿华州立大学的ABC计算机(Atanasoff-Berry Computer) 计算机学科专业及人才培养 2.学科奠基人 计算机学科源于数学、物理 两大学科的交叉学科 物理学科又派生出电子学科、通信学科 ICT 信息通信技术 计算机学科专业及人才培养 逻辑代数创始人，英国数学家—— 乔治·布尔(George Boole，1815-1864) 2.1 计算机学科专业及人才培养 信息论创始人，美国科学家——克劳德·香农(Claude Shannon，1916-2001) 2.2 计算机学科专业及人才培养 2.3 图灵、图灵机及图灵测试 图灵是计算机逻辑的奠基者，许多人工智能的重要方法也源自这位伟大的科学家： 24岁，提出图灵机理论； 31岁，参与Colossus（二战时英国破解德国通信密码的计算机）的研制； 33岁，构思了仿真系统； 35岁，提出自动程序设计概念； 38岁，设计了“图灵测试”； 在后来还创造了一门新学科— 非线性力学； 计算机与人工智能之父，英国数学家、逻辑学家 ——阿兰·图灵（Alan Turing，1912-1954） 计算机学科专业及人才培养 2.3 图灵、图灵机及图灵测试 1. 图灵机 1936年5月28日，图灵向伦敦权威的数学杂志投了一篇论文，题为“论可计算数及其在判定问题上的应用”(On Computable Numbers, with an Application to the Entscheidungsproblem)。在这篇开创性的论文中，图灵给“可计算性”下了一个严格的数学定义，并提出著名的“图灵机(Turing Machine)”的设想。 图灵机模型示意图 计算机学科专业及人才培养 2.3 图灵、图灵机及图灵测试 2. 图灵测试 1950年10月，图灵发表一篇题为“计算机器与智能”(Computing machinery and intelligence)的论文，成为划时代之作。 在这篇论文里，图灵第一次提出“机器思维”的概念。他还对智能问题从行为主义的角度给出了定义，由此提出一假想：一个人在不接触对方的情况下，通过一种特殊的方式，和对方进行一系列的问答，如果在相当长时间内，他无法根据这些问题判断对方是人还是计算机，那么，就可以认为这个计算机具有同人相当的智力，即这台计算机是能思维的。这就是著名的“图灵测试”（Turing Testing）。 计算机学科专业及人才培养 2.3 图灵、图灵机及图灵测试 3. 图灵奖 为纪念图灵对计算机领域做出的巨大贡献，国际计算机协会(Association for Computing Machinery，ACM)于1966年开始设立图灵奖(Turing Award)，这是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。 首位华人获奖者——2000年图灵奖得主，姚期智 首位女性获奖者——2006年图灵奖得主，法兰西斯·艾伦 姚期智 法兰西斯·艾伦 (Frances Allen) 计算机学科专业及人才培养 2.4 维纳及计算机设计五原则 不是模拟式，而是数字式； 由电子元件构成，尽量减少机械部件； 采用二进制，而不是十进制； 内部存放计算表； 在计算机内部存储数据。 控制论创始人——诺伯特·维纳 （Norbert Wiener，1894-1964） 计算机学科专业及人才培养 2.4 维纳及计算机设计五原则 【维纳1943年在所发表的论文“行为、目的和目的论”（Behavior, purpose, and teleology. Phil. Sci. 10(1943).）中，首次提出了“控制论”这个概念。 1948年维纳在麻省理工学院出版社（MIT Press）出版了里程碑式的著作《控制论——动物和机器中的通信与控制问题》（Cybernetics: Or the Control and Communication in the Animal and the Machine. Cambridge），为控制论奠定了理论基础，标志着它的正式诞生。】 计算机学科专业及人才培养 2.5 冯·诺伊曼及冯·诺伊曼结构 1945年6月30日，冯·诺依曼发表“101页报告”——First Draft of a Report on the EDVAC； 1946年7、8月间，冯·诺依曼又提出了一个