《程序设计 修订版》

目录1

第1章程序设计的基本概念1

1.1程序员理解的计算机1

1.2程序设计2

1.3高级程序设计语言3

1.4 PASCAL语言4

1.5语言的实现5

第2章表示法和程序的基本结构6

2.1巴科斯范式和语法图6

2.2 PASCAL字汇8

2.3数9

2.4标识符10

2.6空格、行结束符和注解12

2.5字符串12

2.7程序的基本结构13

习题15

第3章数据的类型、定义和说明16

3.1数据的类型16

3.2数据说明和定义25

3.3标识符定义和说明的唯一性和有序性28

习题28

第4章语句、表达式和赋值30

4.1语句30

4.2表达式30

4.3赋值语句34

习题35

5.1输入和输出37

第5章数据的简单输入和输出37

5.2 PASCAL的简单输入38

5.3 PASCAL的简单输出39

5.4程序实例（计算到达时间）42

习题44

第6章基本的构造语句45

6.1复合语句45

6.2重复性语句46

6.3条件语句58

习题67

第7章过程和函数70

7.1过程的概念70

7.2分程序结构和标识符的作用域74

第11章集合 175

7.3参数80

7.4 函数90

7.5过程和函数作为参数96

7.6递归98

习题105

第8章结构程序设计和转（goto）语句109

8.1结构程序设计109

8.2转（goto）语句111

第9章数组116

9.1数组的概念116

9.2二维数组131

9.3对数组的整体操作134

9.4程序实例（计算发工资时应付的最合理的元数）136

9.5紧缩数组139

9.6字符串141

9.7程序实例（构造索引表）142

9.8其他构造类型146

习题146

第10章记录150

10.1记录的概念150

10.2记录变量的访问152

10.3开域（with）语句153

10.4紧缩记录156

10.5程序实例（更新足球联赛表）156

10.6带变体的记录162

10.7程序实例（对正文行长的加工）166

习题173

11.1集合的概念175

11.2集合的构造和运算177

11.3程序实例181

习题197

第12章文件198

12.1文件的概念198

12.2文件处理的标准过程（文件的生成—写与文件的使用—读）199

12.3程序实例（更新顺序文件）203

12.4程序实例（排序一个文件）207

12.5 文本文件214

12.6程序实例（文本编辑程序）217

习题224

第13章指针225

13.1指针的概念225

13.2链表230

13.3树235

13.4程序实例（构造索引表）244

习题250

第14章一个综合实例252

14.1 PL/0语言及其编译程序252

14.2 PL/0编译程序中的编译部分258

14.3 PL/0编译程序_中的解释部分283

14.4 PL/0程序清单290

15.1程序测试与程序验证303

第15章程序正确性证明初步303

15.2程序的终止性307

15.3 Hoare证明规则309

15.4用证明规则证明程序的正确性311

15.5最弱前置条件WP313

15.6用WP证明程序的完全正确性315

15.7机械程序验证系统316

15.8小结317

习题318

附录一 ASCII字符代码321

附录二 PASCAL 语语法图322

附录三运算符一览表328

附录四标准函数的自变量类型和结果类型329

参考文献330