第1章 历史回顾与语言分类 说明程序设计语言的发展阶段,并列出每一个阶段出现的两到三种最重要语言。 第1章 历史回顾与语言分类 说明程序设计语言的发展阶段,并列出每一个阶段出现的两到三种最重要语言。 程序设计语言的成功=设计好坏+实现难易+权势支持+社会需要: FORTRON-Alogol60; Modula2-Ada; BASIC-Pascal;Pascal-C;
第2章 程序设计语言设计概述 程序设计语言的几个设计目标、设计准则之间的关系; 掌握程序设计语言的规格说明。
第3章 过程式程序设计语言 值与类型 存储与束定 程序控制 函数与过程 抽象与封装
第4章 面向对象程序设计语言* SmallTalk系统的特征 面向对象程序设计范型的特征以及意义 C++、ADA、Java、Python语言面向对象特征的实现方式
第5章 函数式程序设计语言* λ演算系统的理论和演算 函数式程序设计范型的特征
第6章 逻辑式程序设计语言 逻辑式程序设计范型的基本观点以及特征 一阶谓词逻辑
第7章 并发程序设计语言* 并行、并发程序的基本概念、问题以及设计目标 信号灯、条件临界区、监控器的原理、关系及其优缺点 远程过程调用、会合、多原语并发机制的相互关系(ADA、Java)
第8章 描述性程序设计语言 平台无关语言 脚本语言与置标语言(Python 和 Scala)
第9章 指称语义的原理与应用* 指称语义的原理与表示方法 IMP小语言的指称语义表示与扩充
第10章 代数语义的原理与应用 代数语义的原理与表示方法 第10页
闭卷考试 Java 与 Python 语言 IMP小语言 考试(60%)、平时(40%)