程序设计语言 中山大学逻辑与认知研究所.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），美藉匈牙利人 在第二次世界大战前，他主要从事算子理论、集合论等方面的研究 冯·诺依曼对人类的最大贡献是对计算机科学、计算机技术和数值分析的开拓性工作． EDVAC方案明确奠定了新机器由五个部分组成，包括：运算器、逻辑控制装置、存储器、输入和输出设备，并描述了这五部分的职能和相互关系．报告中，诺伊曼对EDVAC中的两大设计思想作了进一步的论证，为计算机的设计树立了一座里程碑。 设计思想之一是二进制：逻辑代数的应用已成为设计电子计算机的重要手段;逻辑学专业有必要学习程序设计的有关知识 目的 意义？;考试;教材参考资料; 软件的基本组成部分是完成其功能的程序。 程序设计语言（也被称为“编程语言”，Programming Language）是人们编制程序所使用的语言。 程序描述了计算机处理数据、解决问题的过程，这是程序的实质。但程序的描述形式却可以是多种多样的，可以用不同的方式表述——不同的程序设计语言。;程序设计语言; 高级语言中用于???述计算的结构采用类似于数学中代数运算公式的形式，这种结构被称为“表达式”。程序中基本的动作单位被称为“语句”，不同的语句实现不同的功能。用高级语言书写的程序不可能直接地在计算机上执行，要在计算机上执行高级语言书写的程序，有两种基本方法: 编译（Compilation）执行：这种方法是设法把高级语言程序（也称为“源程序”）转换成为机器语言的可以由计算机直接执行的程序，即转变为“可执行（Executable）程序” 。 “解释”（Interpretation）执行：这种方法是即时把源程序转换为机器可执行的指令。有时为了提高效率，也可以先编译成一种中间代码。; 对于“编译执行”方式，人们实现了高级语言“编译器”（Compiler）完成这种转换工作。编译器把高级语言程序看成是符合一定语法结构的符号串，对它进行加工变换。编译器对源程序的加工一般分为两个阶段：源程序首先被翻译成机器语言，这种翻译结果称为“目标码”（object code），目标码构成的程序片段称为目标模块。第二步，这些目标模块被与其他一些基本模块（由编译软件提供）连接在一起，最终形成“可执行程序”（executable program），这样的程序就可以在计算机上实际运行了。 第一个加工步骤称为“编译”（compiling），第二个步骤称为“连接”（linking）。 ;程序设计语言 ——高级程序设计语言; 对于“解释执行” 方式，人们实现了一种称为“解释器”（Interpreter）的软件来完成转换工作。解释器在工作方式上与编译器不同，它不对源程序进行翻译，而是直接对源程序的语句进行分析和解释，实现源程序所描述的功能。;程序设计语言 ——高级程序设计语言; FORTRAN(FORmular TRANslation)语言，HPF：IBM，1950 Pascal语言：N.Wirth，1968，(Delphi，Borland) COBOL(COmmon Business Oriented Language)语言： 美国国防部，1960 C和C++语言：Dennis Retchie, 1972; Bjarne Stroustrup,1983, Bell Basic(Beginners All-purpose Symbolic Instruction Code)语言：美国国防部，1964 Ada