封面
扉页
版权页
前言
目录
第一章 引论
§1.1 程序设计发展与程序设计方法学
§1.2 程序设计的一般途径
§1.3 结构程序设计概念
习题
第二章 程序的控制结构
§2.1 基本控制结构
§2.2 goto语句
§2.3 过程与函数
习题
第三章 程序的正确性证明
§3.1 程序的测试
§3.2 Floyd-Hoare规则公理方法
§3.3 Dijkstra最弱前置条件方法
习题
第四章 数据类型与抽象
§4.1 类型概念
§4.2 数据类型
§4.3 数据抽象及其代数规范
习题
第五章 递归程序设计
§5.1 递归的概念
§5.2 递归与迭代程序
§5.3 递归数据结构
§5.4 递归程序及其验证
习题
第六章 程序设计方法
§6.1 逐步求精方法
§6.2 模块化程序设计方法
§6.3 程序的形式推导方法
§6.4 程序求逆
习题
第七章 程序变换
§7.1 程序变换的基本思想
§7.2 程序变换方法
§7.3 FP函数型程序的代数变换
习题