第一章 绪论 1
1.1 引言 1
1.2 程序设计语言的发展史 1
1.2.1 第一代语言：机器语言 1
1.2.2 第二代语言：汇编语言 2
1.2.3 第三代语言：高级语言 2
1.2.4 第四代语言：4GL 9
1.3 高级程序设计语言的特点 12
1.4 程序设计语言的分类 12
1.5 程序设计语言的评价标准 12
1.5.1 软件质量的评价标准 13
1.5.2 程序设计语言的评价标准 14
1.5.3 程序设计语言的选择标准 14
1.6 学习与研究程序设计语言原理的重要性 15
习题一 16
第二章 语言的定义 17
2.1 字符集 17
2.2 元语言 18
2.3 形式语言与文法 19
2.4 BNF范式 22
2.5 语法图 24
2.6 语义与语用 25
习题二 26
第三章 程序结构 28
3.1 程序书写格式 28
3.2 表达式和语句 29
3.2.1 算术表达式 29
3.2.2 关系表达式 30
3.2.3 逻辑表达式 30
3.2.4 字符表达式 31
3.2.5 语句 31
3.3 子程序、模块及程序 32
3.3.1 子程序 32
3.3.2 模块 33
3.3.3 程序 34
3.3.4 分块编译 34
3.4 常用语言的程序结构 34
3.4.1 FORTRAN语言的程序结构 35
3.4.2 Pascal语言的程序结构 36
3.4.3 C语言的程序结构 37
3.5 子程序 38
3.5.1 子程序定义 38
3.5.2 子程序调用 45
3.5.3 参数传递 46
3.6 变量的作用域 47
3.6.1 局部变量 47
3.6.2 全局变量 48
习题三 48
第四章 数据类型 50
4.1 数据类型及其划分 50
4.2 基本数据类型 51
4.2.1 常量与变量 51
4.2.2 整数类型 52
4.2.3 实数类型 53
4.2.4 字符类型 54
4.2.5 逻辑类型 55
4.2.6 枚举类型 55
4.3 数组类型 56
4.3.1 数组的定义 56
4.3.2 数组的引用 58
4.4 字符串类型 62
4.5 集合类型 65
4.6 记录类型 68
4.7 文件类型 71
4.8 指针类型 71
4.8.1 指针的定义和引用 72
4.8.2 指针变量作函数参数 73
4.8.3 指向数组的指针变量 74
4.8.4 指针数组 75
习题四 76
第五章 控制结构 77
5.1 顺序结构 77
5.2 选择结构 77
5.2.1 条件结构 78
5.2.2 分情形结构 82
5.3 循环结构 84
5.3.1 while型循环语句 85
5.3.2 repeat型循环语句 86
5.3.3 for型循环语句 87
5.3.4 循环结构中的其它控制语句 89
5.4 转移语句 90
习题五 93
第六章 函数型程序设计语言 95
6.1 引言 95
6.2 命令型语言的特征 95
6.3 函数型程序设计的基本概念 97
6.3.1 函数的定义 97
6.3.2 数学函数与语言函数的区别 99
6.3.3 函数型程序设计语言 99
6.3.4 典型的函数型程序设计语言 100
6.4 LISP语言 100
6.4.1 LISP语言的基本语法 100
6.4.2 LISP语言的内部函数 105
6.4.3 LISP语言应用举例 110
6.4.4 LISP语言的特点 111
6.5 命令型语言与作用型语言的比较 112
习题六 113
第七章 逻辑程序设计语言 114
7.1 逻辑程序设计的基本概念 114
7.2 PROLOG语言 115
7.2.1 PROLOG语言的基本语法 115
7.2.2 PROLOG语言应用举例PROLOG语言的特点 129
7.2.4 PROLOG语言的适用范围 131
7.2.5 PROLOG语言程序设计的原则 133
7.3 LISP语言和PROLOG语言的比较 134
7.4 逻辑程序设计语言展望 135
习题七 136
第八章 面向对象程序设计语言 137
8.1 引言 137
8.2 面向对象程序设计的基本概念 137
8.2.1 面向对象的基本概念与特征 137
8.2.2 面向对象程序设计语言的发展 143
8.2.3 面向对象程序设计语言的优点 145
8.3 Smalltalk语言 146
8.3.1 引言 146
8.3.2 基本特征 147
8.3.3 消息和方法 148
8.3.4 继承与多态性 152
8.4 C＋＋语言 155
8.4.1 引言 155
8.4.2 类 156
8.4.3 重载 161
8.4.4 继承 163
8.4.5 应用举例 165
8.4.6 小结 171
习题八 171
附录 C语言BNF及语法图 173
参考文献 185