2）面向对象的程序设计语言
    面向对象程序设计语言是将数据及对数据的操作放在一起，作为一个相互依存、不可分割的整体（对象）来处理的语言，它采用数据抽象和信息隐藏技术。如：C++、Java、VB.Net等。
    面向对象程序设计语言的主要特性是封装性、继承性和多态性。
    封装是指将一个数据和与这个数据有关的操作集合放在一起，形成一个独立的实体——对象，用户不必知道对象行为的实现细节，只需根据对象提供的外部特性接口访问对象即可。因此，从用户的观点来看，这些对象的行为就像包含在一个“黑匣子”里，是隐蔽的、看不见的。
    继承所表达的是一种对象类之间的层次关系。它使得某类对象可以继承另外一类对象的特征和能力。具体地讲，若类B继承类A，则属于B中的对象便具有类A的一切性质(数据属性)和功能（操作）。我们称被继承类A为基类或父类，而继承类B为A的派生类或子类。
    多态性描述的是同一个消息可以根据发送消息对象的不同采用多种不同的行为方式。多态性主要靠重载和虚函数来实现。
    下面是几个面向对象程序设计中的基本概念：
    对象：对象是其自身所具有的状态特征及可以对这些状态施加的操作结合在一起所构成的独立实体。
    消息：消息是对象之间相互请求或相互协作的途径，是要求某个对象执行某个功能操作的规格的说明。
    类：是对对象的抽象，它将该组对象所具有的共同特征集中起来，以说明该组对象的能力和性质。在定义了类以后，属于这种类的对象叫类实例。类与实例之间的关系可以看成是抽象与具体的关系。
    应该指出的是，过程型程序设计与面向对象型程序设计不是两个相互独立的程序设计范型（与函数型程序设计，逻辑型程序设计不同）。后者包含前者，是前者的发展。把两者分开并列是不妥的。
    3）函数式程序设计语言
    函数式程序设计语言是一类以λ-演算为基础的语言，概念来自于LISP语言。LISP语言是一个用于处理符号表达式的相当简单的函数式程序设计语言，以数学中的函数与函数作用的概念作为其设计原理，它奠定了函数式语言的基础。
    4）逻辑型程序设计语言
    逻辑型程序设计语言概念来自PROLOG。用PROLOG编程时，无需描述具体的解题过程，只需给出一些必要的事实和解决问题方法说明的规则，计算机根据这些事实和规则，利用谓词逻辑、演绎推理得到问题的执行序列。

    【试题7】 巴科斯范式（BNF）可用来描述程序设计语言的语法，最早用于算法语言___A___，在以后的应用中，表达形式得到了扩展，使用更方便。通常___B___表示“定义为”，___C___表示非终结符，而［X］表示 X 可出现___D___次， X | Y则表示___E___。 （1998年上午题4）
    A：① Fortran ② C ③ Pascal ④ Algol 60
    B：① = ② := ③ ::= ④ ≡
    C：① [变量名]  ② {变量名} ③ <变量名> ④（变量名）
    D：① 1 ② ≤l ③ ≥l ④ 任意有限
    E：① X 除以 Y ②  X 除 Y ③ X 和 Y ④ X 或 Y
    答案：A. ④     B. ③      C. ③      D.2②     E. ④
    分析：巴科斯范式是用来描述程序语言语法的，最早用于算法语言Algol 60。后来人们又对巴科斯范式进行了扩充，扩充的巴科斯范式使用的一些符号及其含义如下：
    约定/符号 含义
    ::= 等效
    | 或
    X+ 一个或多个 X。
    [X] X 可选。X可出现0或1次
     X 必选。表示非终结符
    {X} X可选。X可出现0或多次
    任何粗体文本 字符串。
    任何斜体文本 如何构造字符串。