《计算机程序逻辑和结构化设计》

目 录1

前言1

1． 计算机和流程图1

1.1计算机和逻辑1

1.2算法1

1.3 流程图2

练习1.1—1.35

1.4计算机、存储器和输入／输出7

1.5例行程序结构13

练习1.4—1.519

1.6例行程序结构（续）20

练习1.624

1.7对流程图的一般要求24

1.8错误信息25

练习1.7—1.827

1.9程序设计28

练习1.931

1.10系统流程图32

练习1.1034

复习题34

2．集合的逻辑（Ⅰ）36

2.1集合的定义36

2.2全集和空集37

2.3集合的运算37

2.4 Venn 图38

练习2.1—2.440

2.5 三个集合的Venn图41

2.6 自然语言转换为集合论44

练习2.5—2.645

2.7抽取程序与集合论46

练习2.753

2.8集合、计数器和累加器组合的流程图54

练习2.856

复习题57

3．集合的逻辑（Ⅱ）59

3.1布尔（集合论）特性59

练习3.163

3.2简化的流程图63

练习3.263

3.3集合论中的语句65

3.4集合论语句和流程图66

练习3.3—3.469

3.5符号化的自然语言语句70

3.6流程图和自然语言语句72

练习3.5—3.673

复习题74

4.1结构化流程图的条件76

4．结构化流程图76

4.2结构化流程图举例80

4.3模块式流程图82

练习4.1—4.387

*4.4控制改变重复校验（用do-while循环）88

练习4.490

4.5打印表格的结构化流程图92

练习4.598

复习题99

5．真值函数逻辑和判定表101

5.1真值函数句连接词101

练习5.1103

5.2符号表示103

5.3逻辑和与逻辑积的选择记法105

练习5.2—5.3106

5.4等价106

5.5重言式和矛盾式108

练习5.4—5.5109

5.6条件语句110

练习5.6112

5.7真值函数分析的简化作用113

练习5.7120

5.8条件句和流程图121

练习5.8123

5.9等价规则124

练习5.9126

*5.10等价规则的简化作用127

练习5.10129

5.11判定表130

5.12判定表举例134

练习5.11—5.12137

复习题137

6.1 Warnier图的结构及术语139

6． 用于程序设计的Warnier/Orr图139

练习6.1145

6.2 EOF、计数器、累加器和指示器151

练习6.2154

6.3 Warnier图与流程图的比较155

练习6.3159

6.4用Warnier图设计程序165

练习6.4167

*6.5数据结构逻辑168

练习6.5175

*6.6根据输出结构逻辑作出的报表程序177

练习6.6183

复习题184

7．伪代码和Nassi-Shneiderman图186

7.1伪代码186

练习7.1196

7.2 Nassi-Shneiderman图202

练习7.2216

复习题219

8．数组与数组处理221

8.1基本的数组结构221

8.2维数语句和计数器224

8.3作为变量的数组元素名224

练习8.1—8.3226

8.4数组处理举例229

练习8.4236

8.5 用户输入和用户命令236

练习8.5243

8.6 多维数组243

8.7有关二维数组程序的例题245

练习8.6—8.7259

8.9 排序261

8.8交换261

8.10混合数组计算266

练习8.8—8.10272

复习题274

9．编辑和文件处理程序276

9.1编辑程序276

练习9.1282

9.2顺序文件处理282

9.3抽取程序（顺序文件）283

练习9.2—9.3288

*9.4顺序文件维护288

9.5随机文件处理293

复习题296

附录298

附录A文件298

附录B 由Warnier图编制COBOL程序310

练习答案选314