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

第1章引论1

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

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

1.3程序设计语言13

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

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

3.1类型的概念21

3.2简单类型23

3.3结构类型26

3.4指引元类型34

练习一37

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

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

4.2简单语句的证明法则43

4.3语句序列和条件语句45

4.4循环语句48

4.5基本证明法则小结53

4.6应用举例55

练习二64

第5章限制GOTO70

5.1 关于GOTO问题的争论70

5.2 GOTO的证明法则75

5.3结论77

第6章程序的逐步求精81

6.1逐步求精的设计方法81

6.2排序86

6.3积木游戏95

6.4筛法求素数和Goldbach猜想99

6.5最小支撑树问题105

练习三112

第7章函数和过程116

7.1函数和过程的引入116

7.2局部量和过程参数118

7.3函数和过程的正确性证明119

7.4自然归并算法122

7.5数组划分和快速查找算法127

练习四131

第8章数据抽象和模块133

8.1模块化的一般目标133

8.2模块的设计准则134

8.3八皇后问题142

8.4同步原语152

8.5数据抽象的形式规定技术160

练习五164

第9章递归166

9.1递归的概念166

9.2递归过程的设计和正确性169

9.3递归数据结构176

9.4 Hilbert图案问题190

9.5试验和回溯，骑士游历问题199

练习六205

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

10.1程序的形式语义208

10.2面向目标的程序推导219

10.3不变式推导技术225

10.4进一步的例子235

第11章程序变换246

11.1程序变换的基本思想246

11.2程序变换的基本法则249

11.3程序规定和规定级变换252

11.4函数级变换258

11.5函数级向过程级变换270

11.6过程级变换278

11.7程序变换系统279

练习七280

第12章程序工具和环境283

附录程序设计语言T报告287

参考文献303