第页.ppt

* *  * * 广西师范大学 计算机科学与信息工程学院 * 广西师范大学 计算机科学与信息工程学院 * 广西师范大学 计算机科学与信息工程学院 * 用计算机求解问题的时候，首先需要用适当的数据表示问题，然后再用适当的算法对着这些数据进行变换，进而获得问题的求解结果；这种所谓的“问题抽象、形式化描述、自动化(计算机化)”的解题思路，实际上就是要求具有“抽象能力与形式化描述能力” 的“计算机思维”。 ——对计算机专业的大学生而言，有两门课是必须的：《形式语言与自动机》和《算法设计与分析》 广西师范大学 计算机科学与信息工程学院 * 用计算机求解问题的时候，首先需要用适当的数据表示问题，然后再用适当的算法对着这些数据进行变换，进而获得问题的求解结果；这种所谓的“问题抽象、形式化描述、自动化(计算机化)”的解题思路，实际上就是要求具有“抽象能力与形式化描述能力” 的“计算机思维”。 ——对计算机专业的大学生而言，有两门课是必须的：《形式语言与自动机》和《算法设计与分析》 广西师范大学 计算机科学与信息工程学院 * 广西师范大学 计算机科学与信息工程学院 * 用计算机求解问题的时候，首先需要用适当的数据表示问题，然后再用适当的算法对着这些数据进行变换，进而获得问题的求解结果；这种所谓的“问题抽象、形式化描述、自动化(计算机化)”的解题思路，实际上就是要求具有“抽象能力与形式化描述能力” 的“计算机思维”。 ——对计算机专业的大学生而言，有两门课是必须的：《形式语言与自动机》和《算法设计与分析》 广西师范大学 计算机科学与信息工程学院 * * * * * * 基础理论，所有计算机科学的基石。离散是最关键的词汇，有限元计算就是将连续的问题离散成小单元解决再集成 * * 问题的抽象，形式化的解决方案 * * 结合机器的具体实现的方案 * * 抽象形态的主要内容:包括基于语法和动态语义模型的语言分类(如静态型,动态型,函数式,过程式,面向对象的,逻辑,规格说明,报文传递和数据流), 按照目标应用领域的语言分类(如商业数据处理,仿真,表处理和图形), 程序结构的主要语法和语义模型的分类(如过程分层,函数合成,抽象数据类型和通信的并行处理), 语言的每一种主要类型的抽象实现模型,词法分析,编译,解释和代码优化的方法,词法分析器,扫描器,编译器组件和编译器的自动生成方法等. * * 设计形态的主要内容:包括把一个特殊的抽象机器(语法)和语义结合在一起形成的统一的可实现的整体特定语言(如过程式的(COBOL,FORTURN,ALGOL,Pascal,Ada,C),函数式的(LISP),数据流的(SISAL,VAL),面向对象的(Smalltalk,CLU,C++),逻辑的(Prolog),字符串(SNOBOL)和并发(CSP,Concurrent Pascal,Modula 2)),特定类型　　 * * * * 五、体系结构 六、操作系统 七、网络中心计算 八、人机界面 九、图形学和可视计算 十、智能系统 十一、信息管理 十二、软件工程 十三、专业领域问题 十四、可计算科学 * 第*页 0.3 语言规范与处理器 PL语言不是软件 它只是一规范——参考手册（LRM） 规定符号元素—语法—语义（形式的 非形式的） 按它的规定写出的程序是软件 PL翻译器也是软件 一种语言到另一种语言：翻译器 一种语言到目标码 编译器 先翻译、优化后执行 高效 解释器 即译即执行 低效 灵活 第*页 0.4 本课程内容与要求 本书分为四部分 PL的一般概述，形式语法复习 0-2章 PL的基本元素及特征 3-8章 各种PL范型 9-15章 语义理论 16-17章 附录 18章 要求 习题作业平时占10%计分 考试占90%计分 0.5 计算学科命名的背景 如何认知计算学科，有着不少争论。 1984年7月，美国计算机科学与工程博士单位评审部的领导们，在犹他州召开的会议上对计算认知问题进行了讨论。 这一讨论以及其他类似讨论促使（美国）计算机协会（ACM）与（美国）电气和电子工程师学会计算机分会（IEEE/CS）于1985年春联手组成任务组， 经过近4年的工作，任务组提交了在计算教育史上具有里程碑意义的“计算作为一门学科”（Computing as a Discipline）报告， 0.5 计算学科命名的背景 “计算作为一门学科”报告论证了计算作为一门学科的事实 回答了计算学科长期以来一直争论的一些问题； 并将当时的计算机科学、计算机工程、计算机科学和工程、计算机信息学以及其他类似名称的