《程序设计方法学 第2版》求取 ⇩

目录1

序言1

第1章 引论1

1.1 什么是程序设计方法学1

1.2 一个例子：求最大公约数7

1.3 程序设计语言12

第2章 程序的基本控制结构16

2.1 基本控制结构16

2.2 限制GOTO25

第3章 程序的基本数据结构35

3.1 类型的概念35

3.2 简单类型37

3.3　结构类型39

3.4　指引元类型47

练习一55

第4章　程序正确性的证明法则59

4.1　如何证明程序的正确性59

4.2.1 简单语句的证明法则62

4.2 正确性证明法则62

4.2.2　语句序列和条件语句64

4.2.3　循环语句66

4.2.4 基本证明法则小结71

4.3　应用举例73

44 GOTO的证明法则84

练习二86

第5章 程序的逐步求精93

5.1 逐步求精的设计方法93

5.2 排序98

5.3 三色积木游戏107

5.4 筛法求素数和Goldbach猜想111

5.5 最小支撑树问题119

练习三126

第6章 使用函数和过程129

6.1 函数和过程的引入129

6.2 函数和过程的正确性证明133

6.3 自然归并算法135

6.4 数组划分和快速查找算法141

练习四145

7.1 递归的概念149

第7章 递归149

7.2 递归过程的设计和正确性152

7.3 遍历树159

7.4 递归图案设计165

7.5 试验和回溯，骑士游历问题174

练习五182

第8章 数据抽象和模块186

8.1 模块化的一般目标186

8.2 模块的设计准则187

8.3 八皇后问题195

8.4 同步原语204

8.5 数据抽象的形式规范技术212

8.5.1 Hoare公理化规范213

8.5.2 代数规范216

练习六219

第9章 维也纳开发方法225

9.1 形式化程序设计概述225

9.2 VDM规范227

9.3 Josephus密码问题232

练习七242

第10章 程序的形式推导技术244

10.1 程序的逻辑语义规范244

10.2 面向目标的程序推导252

10.3 不变式推导技术258

10.4 进一步的例子268

练习八277

第11章 程序变换279

11.1 程序变换的基本思想279

11.2 程序变换法则282

11.3 规范级变换285

11.4 函数级变换290

11.5 函数级向过程级变换302

11.6 过程级变换310

11.7 程序变换系统310

练习九312

第12章 程序设计工具和环境313

附录1 程序设计语言T报告316

附录2 部分习题参考答案和提示333

参考文献345

后记349