程序设计 修订版PDF电子书下载

目录 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章集合 1 75

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最弱前置条件WP 313

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

15.7机械程序验证系统 316

15.8小结 317

习题 318

附录一 ASCII字符代码 321

附录二 PASCAL 语语法图 322

附录三运算符一览表 328

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

参考文献 330