程序正确性的证明PDF电子书下载

第一章 数学归纳法 1

1.1 引言 1

1.2 简单归纳法 1

1.3 一个加强型的数学归纳法 10

1.4 广义归纳法 14

第二章 程序流程图正确性的证明 20

2.1 引言 20

2.2 证明程序流程图正确的基本原理 21

2.3 流程图正确性证明的附例 39

2.4 归纳断言法 51

2.5 缩写的正确性证明 74

2.6 归纳断言法证明的格式化 75

第三章 标准程序语言程序正确性的证明 84

3.1 引言 84

3.2 FORTRAN程序正确性证明举例 84

3.3 PL/1程序正确性证明举例 94

3.4 部分正确性的公理化论述 99

3.5 程序正确性证明是程序编制过程的一部分 107

第四章 递归程序的正确性证明 112

4.1 引言 112

4.2 一个简化的阐述递归的编程语言 113

4.3 结构归纳法 122

4.4 结构归纳法难题举例 133

4.5 非递归程序的结构归纳法 146

第五章 程序正确性证明的研究现状 157

5.1 引言 157

5.2 证明方法 157

5.3 程序设计——语言设计 159

5.4 正确性证明的机械化 160