目 录第一章引论§1.1 程序设计发展与程序设计方法学 1
§1.2 程序设计的一般途径 3
§1.3 结构程序设计概念 5
第五章递归程序设计§5.1 递归的概念 10
习 题 14
第二章程序的控制结构§2.1 基本控制结构 17
§2.2 goto语句 20
§2.3 过程与函数 31
习 题 49
第三章程序的正确性证明§3.1 程序的测试 58
§3.2 Floyd-Hoare规则公理方法 66
§3.3 Dijkstra最弱前置条件方法 81
习 题 105
第四章数据类型与抽象§4.1 类型概念 110
§4.2 数据类型 113
§4.3 数据抽象及其代数规范 121
习题 144
§5.2 递归与迭代程序 153
§5.3 递归数据结构 177
*§5.4 递归程序及其验证 206
习题 230
第六章程序设计方法§6.1 逐步求精方法 236
§6.2 模块化程序设计方法 264
§6.3 程序的形式推导方法 282
§6.4 程序求逆 306
习题 312
*第七章程序变换§7.1 程序变换的基本思想 314
§7.2 程序变换方法 315
§7.3 FP函数型程序的代数变换 335
习题 370
参考文献 371