软件技术基础 离散数学、数据结构、C++编程实训2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

软件技术基础 离散数学、数据结构、C++编程实训PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章　绪论1

1.1　本课程的知识结构1

1.2　离散数学1

目录1

1.3　数据结构与算法设计2

1.4　C++语言2

1.5　学习要求和方法3

1.6　书后配盘4

1.7　软件技术教育4

习题6

2.1　命题逻辑的基本概念7

2.1.1　命题7

第2章　命题逻辑7

2.1.2　复合命题8

2.2　命题公式与真值表12

2.2.1　命题公式12

2.2.2　真值表12

2.2.3　永真式、永假式及可满足公式13

2.3　命题演算13

2.3.1　命题公式的化简13

＊2.3.2　命题推理规则与方法15

2.4　命题模型17

2.4.1　命题建模17

＊2.4.2　命题模型推理19

习题20

3.1　谓词命题和谓词公式演算22

3.1.1　谓词和个体词22

第3章　谓词逻辑22

3.1.2　量词23

3.1.3　谓词公式演算24

3.2　谓词模型27

3.2.1　谓词建模27

＊3.2.2 谓词推理28

习题29

第4章　集合论31

4.1　集合的概念31

4.1.1　集合31

4.1.2　集合的描述方法32

4.2　集合运算33

4.2.1　集合的运算33

4.1.3　集合间的关系33

4.2.2　集合的运算定律34

4.3　集合模型35

4.3.1 集合建模36

＊4.3.2　集合命题推理37

＊4.4　集合基数推理38

习题39

第5章　图论42

5.1　图与树42

5.1.1 图42

5.1.2　图的性质43

5.1.3　完全图和子图44

5.1.4　图的同构45

5.1.5 平面图45

5.1.7　树和根树46

5.1.6　有权图和网络46

5.1.8　二叉树48

5.2　图的运算48

5.2.1　图的连通性48

5.2.2　欧拉回路49

5.2.3 哈密顿回路51

5.2.4　生成树和最小费用生成树52

5.2.5　狄克斯特算法53

5.2.6　图的遍历54

5.2.7　树的遍历56

5.2.8　二叉树的遍历56

5.3　图论建模57

5.3.1 用图表示网络关系57

5.3.2　用树表示分类的层次关系59

5.3.3　搜索树60

习题62

第6章　C++编程作业入门64

6.1　程序编写作业概述64

6.1.1 编程语言64

6.1.2　编译器与编译作业流程65

6.2　用VC++编译器进行编程作业66

6.2.1 建立VC++项目66

6.2.2　编辑源代码文件69

6.2.3　编译和查错71

6.2.4　连编和运行程序73

6.2.6　向项目中添加文件和从项目中74

删除文件74

6.2.5 项目的关闭和再打开74

6.3　C++语言词法概要76

6.3.1　基本词汇77

6.3.2　标点符号77

6.3.3　关键词78

6.3.4　标识符78

6.3.5　常数79

6.3.6　运算符81

6.3.7　注释83

6.4　C++语言句法概要84

6.4.1　定义语句84

6.4.2　数据类型的转换86

6.4.3　导出数据类型87

6.4.4　函数和函数调用机制88

6.4.5　运算式92

6.4.6　程序控制语句93

6.4.7 应用数理逻辑设计程序控制96

语句96

6.4.8　指针变量99

6.4.9　字符串的运算101

6.4.10　数据的输入输出函数103

习题109

第7章　用类编写面向对象的程序111

7.1　C++语言中类的概念111

7.1.1　概述111

7.1.2　类定义114

7.1.3　构造函数和析构函数115

7.1.4 成员函数的定义与调用117

7.1.5　引用数据类型和左值成员函数119

7.1.6　成员函数的重载与运算符成员函数121

7.1.7　案例——用类的运算符函数解122

线性方程组122

7.2　面向对象程序设计方法与C++的类126

7.2.1　人的抽象思维方法126

7.2.2　C++的类的聚集机制127

7.2.3　C++的类的继承机制128

7.2.4　按C++的类划分程序模块131

习题134

第8章　用类模板实现线性数据结构138

8.1　类模板138

8.1.1　数据结构和离散数学138

8.1.2　固定长度的List模板139

8.1.3　模板的实例化141

8.1.4　长度可自动改变的List模板143

8.1.5　List模板三146

8.1.6　Linked List149

8.2　矢量、矩阵和线性方程组的C++模板150

8.2.1　矢量和矩阵的数学概念150

8.2.2　矢量和矩阵的模板151

8.3　排序和检索153

8.3.1　气泡法排序和函数模板153

8.3.2　对分检索法156

8.3.3　插入排序157

8.4　队列和堆栈158

8.4.1　Stack模板159

8.4.2　Queue模板160

习题162

第9章　编程作业全过程164

9.1　软件系统开发过程164

9.1.1　系统分析、系统设计和系统实施164

9.1.2　UML方法165

9.2　用类图建立数据模型166

9.2.1　类和实例167

9.2.2　属性167

9.2.3　运算167

9.2.4　类的图形表示168

9.2.5　关联168

9.2.7　关联的约束169

9.2.6　关联类169

9.2.8　继承170

9.2.9　聚集171

9.2.10　案例——学籍管理系统的数据模型172

9.3　由数据模型设计C++程序172

9.3.1　类的映射规则172

9.3.2　继承的映射规则173

9.3.3　聚集的映射规则173

9.3.4　关联的映射规则175

9.3.5　关联类的映射规则182

9.3.6　通过计算获取冗余信息184

9.4　数据模型的一致性和完整性185

9.4.1　数据模型的概念一致性185

9.4.2　数据一致性和完整性的动态维护187

9.5.1　用户界面的作用189

9.5　用户界面的设计189

9.5.2 UCD190

9.5.3　设计用户菜单192

9.5.4　验证用户输入194

9.5.5　输出数据的可读性195

9.6　程序的检测195

9.6.1　程序错误的种类和原因195

9.6.2　程序运行检测步骤197

9.6.3　用VC++编译器的调试功能跟踪197

程序运行过程197

9.7　编程作业的文档工作201

习题201

9.6.4　测试数据201

第10章　树和图的C++模板203

10.1　根树模板203

10.1.1　根树的数据模型和C++模板203

10.1.2　根树的广度优先遍历函数205

10.1.3　根树的深度优先遍历函数206

10.1.4　求根树中所有路径207

10.2　二叉树208

10.2.1　二叉树的数据模型和C++模板208

10.2.2　二叉树的遍历算法209

10.2.3　二叉检索树简介210

10.3　递归210

10.3.1　递归的数学概念210

＊10.3.2　递归算法的化解212

10.4.1 图的数据模型和C++模板215

10.4　图的C++模板和程序215

10.4.2　无向图的最小费用生成树和克鲁斯克尔函数216

习题219

第11章　课程作业221

11.1　课程作业一——学籍管理系统221

11.1.1　根据系统数据模型设计C++类221

定义221

11.1.2　定义管理实例的序列221

11.1.3　完成UCD222

11.1.4　设计菜单函数222

11.1.5　设计交互式数据输入函数224

11.1.6　划分程序模块226

11.2.1　程序工作原理分析227

11.2　课程作业二——五子棋游戏227

11.1.9　其他要求227

11.1.8　编写完整的文档227

11.1.7　测试程序227

11.2.2　数据建模228

11.2.3　函数Win（）的实现229

11.2.4　显示棋盘和棋子的函数230

11.2.5　主函数控制逻辑231

11.2.6　产生棋着的算法232

11.2.7　其他要求235

附录一　名词索引236

附录二　离散数学部分习题参考243

答案和提示243

附录三　如何阅读用形式文法描述的248

C++语法规则248

参考文献251