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或多次
    任何粗體文本 字符串。
    任何斜體文本 如何構造字符串。