目录 1
第一章 绪论 1
一、计算机的构成 1
二、程序和程序语言 4
三、用计算机解题 8
四、程序语言的语法描述 12
习题与思考 13
第二章 标识符、常量、变量、表达式 17
一、标识符 17
二、整数类型 19
三、实数类型 21
四、布尔类型 23
五、字符类型 25
六、常量和常量定义 27
七、变量和变量说明 28
八、表达式 29
习题与思考 32
第三章 简单程序 34
一、赋值语句 34
二、简单输入输出语句 36
三、程序的一般格式 39
习题与思考 45
一、数据类型的概念 47
第四章 简单类型 47
二、纯量类型 48
三、子界类型 53
四、类型定义 54
五、类型间的关系 56
习题与思考 59
第五章 选择与重复 61
一、IF语句 61
二、FOR语句 66
三、WHILE语句 72
四、REPEAT语句 83
五、CASE语句 87
六、语句的嵌套 91
习题与思考 93
第六章 数组 98
一、数组的基本概念 98
二、多维数组 107
三、紧缩数组 111
习题与思考 118
第七章 记录 122
一、记录的基本概念 122
二、WITH语句 127
三、记录的变体 130
习题与思考 135
第八章 过程与函数（Ⅰ） 138
一、过程 138
二、函数 143
三、参数的传递 146
四、名字的作用域 151
习题与思考 155
第九章 程序的研制 160
一、三种基本控制结构 161
二、关于GOTO语句 163
三、抽象和逐步求精 168
四、程序中的错误 183
习题与思考 185
第十章 集合 186
一、集合的基本概念 186
二、集合的表示 187
三、集合的运算 188
四、集合的应用 191
习题与思考 197
第十一章 文件 200
一、序列 200
二、文件类型与变量 201
三、基本文件操作 203
四、复合操作 210
五、text文件 211
习题与思考 215
第十二章 过程与函数（Ⅱ） 219
一、非局部量与副作用 219
二、递归和向前引用 222
三、过程或函数作参数 228
习题与思考 231
第十三章 指针和动态变量 232
一、指针类型和变量 232
二、标准过程new 235
三、指针的应用 237
习题与思考 247
第十四章 程序验证初阶 250
一、断言和验证 250
二、Pascal语句的验证法则 256
三、程序设计新方法 263
习题与思考 279
参考资料 281
附录 282
附录A 关键字和标准标识符 282
附录B 运算符一览表 283
附录C 语法 284