目 录 1
前言 1
1． 计算机和流程图 1
1.1计算机和逻辑 1
1.2算法 1
1.3 流程图 2
练习1.1—1.3 5
1.4计算机、存储器和输入／输出 7
1.5例行程序结构 13
练习1.4—1.5 19
1.6例行程序结构（续） 20
练习1.6 24
1.7对流程图的一般要求 24
1.8错误信息 25
练习1.7—1.8 27
1.9程序设计 28
练习1.9 31
1.10系统流程图 32
练习1.10 34
复习题 34
2．集合的逻辑（Ⅰ） 36
2.1集合的定义 36
2.2全集和空集 37
2.3集合的运算 37
2.4 Venn 图 38
练习2.1—2.4 40
2.5 三个集合的Venn图 41
2.6 自然语言转换为集合论 44
练习2.5—2.6 45
2.7抽取程序与集合论 46
练习2.7 53
2.8集合、计数器和累加器组合的流程图 54
练习2.8 56
复习题 57
3．集合的逻辑（Ⅱ） 59
3.1布尔（集合论）特性 59
练习3.1 63
3.2简化的流程图 63
练习3.2 63
3.3集合论中的语句 65
3.4集合论语句和流程图 66
练习3.3—3.4 69
3.5符号化的自然语言语句 70
3.6流程图和自然语言语句 72
练习3.5—3.6 73
复习题 74
4.1结构化流程图的条件 76
4．结构化流程图 76
4.2结构化流程图举例 80
4.3模块式流程图 82
练习4.1—4.3 87
*4.4控制改变重复校验（用do-while循环） 88
练习4.4 90
4.5打印表格的结构化流程图 92
练习4.5 98
复习题 99
5．真值函数逻辑和判定表 101
5.1真值函数句连接词 101
练习5.1 103
5.2符号表示 103
5.3逻辑和与逻辑积的选择记法 105
练习5.2—5.3 106
5.4等价 106
5.5重言式和矛盾式 108
练习5.4—5.5 109
5.6条件语句 110
练习5.6 112
5.7真值函数分析的简化作用 113
练习5.7 120
5.8条件句和流程图 121
练习5.8 123
5.9等价规则 124
练习5.9 126
*5.10等价规则的简化作用 127
练习5.10 129
5.11判定表 130
5.12判定表举例 134
练习5.11—5.12 137
复习题 137
6.1 Warnier图的结构及术语 139
6． 用于程序设计的Warnier/Orr图 139
练习6.1 145
6.2 EOF、计数器、累加器和指示器 151
练习6.2 154
6.3 Warnier图与流程图的比较 155
练习6.3 159
6.4用Warnier图设计程序 165
练习6.4 167
*6.5数据结构逻辑 168
练习6.5 175
*6.6根据输出结构逻辑作出的报表程序 177
练习6.6 183
复习题 184
7．伪代码和Nassi-Shneiderman图 186
7.1伪代码 186
练习7.1 196
7.2 Nassi-Shneiderman图 202
练习7.2 216
复习题 219
8．数组与数组处理 221
8.1基本的数组结构 221
8.2维数语句和计数器 224
8.3作为变量的数组元素名 224
练习8.1—8.3 226
8.4数组处理举例 229
练习8.4 236
8.5 用户输入和用户命令 236
练习8.5 243
8.6 多维数组 243
8.7有关二维数组程序的例题 245
练习8.6—8.7 259
8.9 排序 261
8.8交换 261
8.10混合数组计算 266
练习8.8—8.10 272
复习题 274
9．编辑和文件处理程序 276
9.1编辑程序 276
练习9.1 282
9.2顺序文件处理 282
9.3抽取程序（顺序文件） 283
练习9.2—9.3 288
*9.4顺序文件维护 288
9.5随机文件处理 293
复习题 296
附录 298
附录A文件 298
附录B 由Warnier图编制COBOL程序 310
练习答案选 314