[第一章绪论ov.pptVIP

程序设计语言范型Programming Languages Paradigms 教师： 张荣华 华北电力大学计算机系软件教研室（保定） 教材及参考书 程序设计语言原理（原书第五版） （美）Robert W. Sebesta 著 机械工业出版社 程序设计语言-概念和结构（原书第二版） （美）Ravi Sethi 著 机械工业出版社 程序设计语言-设计语实现（原书第四版） （美）Terrence W. Pratt 著 电子工业出版社 程序设计语言—实践之路 （美） Michael L. Scott 著 电子工业出版社 计算机程序的构造和解释 （美） Harold Abelson 等著 机械工业出版社 教材及参考书 多核程序设计技术（通过软件多线程提升性能） (孟加拉)Shameem Akhter;(美)Jason Roberts著 电子工业出版社 2007年 Erlang 程序设计 Joe Armstrong著，人民邮电出版社 2008年 CUDA 2.0编程指南 Nvidia 著 2008年 /object/cuda_get.html 考核 平时成绩：到课情况——5% 作业——15% 学习报告 要求围绕“并发程序设计”或“函数式程序设计”自学相关内容，自拟题目并撰写学习报告。 F#语言特性、Intel TBB… 多核、多线程、互斥算法、同步机制、并行程序设计模式 并发程序设计语言、并行编程环境、分布式并行编程 无锁编程（Lockless Programming）…. 封面及其它要求见公共邮箱。 考试（闭卷）—— 80% zronghua88@ (个人邮箱） plp_public@ （公共邮箱） 引言 相关课程 ⑴ 程序设计模式（程序设计语言范型） ⑵ 软件设计模式 ⑶ 程序设计方法学 讨论程序的性质以及程序设计的理论和方法的一门学科。该学科包含的内容很丰富。 例如，结构程序设计，程序正确性证明，程序变换，程序的形式说明与推导，程序综合等。 该学科从程序设计语言的角度上看，侧重于从理论的高度分析各种语言范型的程序设计方法所构成的体系。 ⑷ 编译原理（技术） 该学科侧重于程序设计语言的实现。 引言 ⑴ 程序设计模式（程序设计语言范型） 程序设计模式是计算机软件工程专业的一门专业选修课程。本课程从一定的深度和广度为学生介绍程序设计语言的主要概念，讨论近年来在各领域使用的具有强大生命力和应用潜力的语言，这涉及到命令式程序设计语言、面向对象程序设计语言、函数式程序设计语言、逻辑式程序设计语言、脚本语言和并行程序设计语言。 通过本课程的学习，学生不仅要初步掌握各种程序设计语言范型所代表的典型语言的语言特性，而且要掌握各种程序设计语言范型的共性概念及各类语言范型在语言特性方面的典型差异，以提高自己分析、鉴赏、评价、选择、学习和设计高级程序设计语言的综合能力。 ——摘自本课程教学大纲 引言 ⑵ 软件设计模式 目前，尽管已经极大地提高了人与机器的交流的能力，但是开发人员的交流能力并没有改善。 实现语言是为机器写的，而不是为人写的。 因此，需要一种能够让开发人员有效地交流设计思想的方式，来描述更高级的概念。 能否提供这样一种语言？ 引言 ⑵ 软件设计模式 寻找一种通用的语言——模式 模式为这种新的通用语言提供了词汇； 引言 引言 引言 内容 1. 教学内容概述 2. 学习程序设计范型的缘由 3. 历史背景 4. 程序设计语言范型 5. 程序设计语言中的抽象 6. 程序设计语言的评估标标准 1.教学内容概述 1.1 教学意向和目标 程序设计语言是人与计算机进行通信的工具，它是软件开发最重要的工具，以及软件学科的一门重要基础课程。 原理 从一定的深度和广度介绍程序设计语言的主要概念、特性以及不同语言之间的比较。 目标 掌握各种高级语言的共同性的概念、规律及各类语言之间的差异； 各种语言的设计目标、设计依据、设计效果； 提高自己分析、鉴赏、评价、选择、学习和设计高级程序设计语言的能力。 1.教学内容概述 例如：以下是程序设计语言的一些基本概念或特性 名字、变量、类型、作用域、子程序、参数传递、对象、类、继承、多态……… 绑定、延迟绑定、强类型化、生存期、抽象数据类型、并发、异常……… 尾递归、高阶函数、引用透明、闭包、词法作用域 置换、合一（模式匹配）、归结、回溯 线程、锁、同步、并发、并行、可扩展性、负载平衡 正交性 过程抽象、数据抽象 CUDA（kernel函数、host、device、Grid、Block、Thread、SIMD、global memo