程序设计语言 中山大学逻辑与认知研究所.pptxVIP

程序设计语言; 第一章 导论;现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动 数理逻辑的发展和计算机的产生密切有关 数理逻辑是计算理论的基础，而计算理论又是计算机科学的核心基础 数理逻辑学家的工作对于通用计算机的产生是决定性的，许多计算机科学家都是逻辑学家 ;阿兰·麦席森·图灵 Alan Mathison Turing ，6月23日生于英国伦敦。是英国著名的数学家和逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。人们为纪念其在计算机领域的卓越贡献而设立“图灵奖”。 在图灵的设计思想指导下，1950年制出了ACE样机，1958年制成大型ACE机。1948年，图灵接受了曼彻斯特大学的 高级讲师职务，并被指定为曼彻斯特自动数字计算机(Madam)项目的负责人助理，具体领导该项目数学方面的工作．作为这一工作的总结，1950年图灵编 写并出版了《曼彻斯特电子计算机程序员手册》(The programmers’handbook for the Manchester electronic computer)。;约翰·冯·诺依曼 （ John Von Neumann，1903－1957），美藉匈牙利人 在第二次世界大战前，他主要从事算子理论、集合论等方面的研究 冯·诺依曼对人类的最