目录 1
第一章 绪论 1
1.1 计算机硬件与软件 1
1.2 程序设计概念的发展 2
1.3 结构化程序设计的概念 3
第二章 FORTRAN语言 6
2.1 引言 6
2.1.1 计算机存贮信息的单位 6
2.1.2 FORTRAN语句分类及程序结构 7
2.2 常数、变量、类型说明语句、数组和标准函数 15
2.3 输入／输出语句 23
2.4 表达式 40
2.5 基本语句 47
2.6 子程序 56
第三章 结构化程序 74
3.1 形式逻辑 74
3.2 文法和语言 79
3.3 程序展开与结构化程序 82
3.4 有关程序结构的两项基本原则 90
3.5 模块化程序设计 92
第四章 结构化程序设计语言——DITSF 96
4.1 DITSF语言的字符集 96
4.2 DITSF语言中采用的关键字 97
4.3 DITSF语言的书写规则 98
4.4 六种控制语句 99
4.5 文字标号 112
4.6 ″SECTION″型说明及其调用和递归调用 115
4.7 自由格式数据输入语句SCAIN 119
4.8 文件管理系统JINEGS 132
第五章 DITSF语言的翻译公式 147
5.1 ″IF″语句的翻译 147
5.2 ″CASE″语句的翻译 148
5.6 ″FOR″语句的翻译 149
5.5 ″WHILE″语句的翻译 149
5.3 ″LOOP″语句的翻译 149
5.4 ″DO″语句的翻译 149
5.7 文字标号的翻译 151
5.8 ″PERFORM″语句的翻译 154
5.9 ″SECTION″...″ENDSECT″型结构的翻译 154
第六章 关于DITSF语言翻译程序DITSFTR的设计与实现 156
第七章 DITSF语言的应用举例 174
7.1 矩阵乘法子程序 174
7.2 排序子程序 180
7.3 辛普生法（定步长）求一元实函数的定积分子程序 184
7.4 求一元实函数f（x）零点的二分法子程序 185
7.5 高斯-塞德尔迭代法求解线性代数方程组子程序 187
7.6 二次插值子程序 188
7.7 用消去法求矩阵的逆阵和行列式值的子程序 190
7.8 用雅可比方法求解对称矩阵特征值和特征向量子程序 192
7.9 利用SUMT内点法-DFP变度法求函数极小值子程序 194
7.10 求PERT图判别路径的一个实用程序 201
第八章 DITSF语言在不同类型计算机上的实现和使用方法 214
8.1 装机概况 214
8.2 关于和机器编码有关信息的处理 214
8.3 DITSFTR和机器文件管理系统的接口 218
8.4 DITSF语言在不同类型计算机上的使用方法 231
第九章 结构化程序正确性证明简介 234
9.1 程序正确性证明的基本概念 234
9.2 最弱前置条件 236
9.3 赋值语句的正确性证明 236
9.4 ″IF″语句的正确性证明 237
9.5 ″WHILE″语句的正确性证明 239
附录1 内部函数表 253
附录2 基本外部函数表 254
附录3 DITSF语法错误对照表 255
参考文献 256