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

目 录第一章引论§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