- 西安电子科技大学出版社
- 9787560640013
- 168218
- 0046177988-6
- 理学
- 数学
- O158
- 数理科学和化学
- 本科
内容简介
李小南、乔胜宁编著的《离散数学(高等学校十三五规划教材)》介绍离散数学的基础知识。全书共5章,内容包括集合与关系、格与布尔代数、排列组合、图论、数理逻辑、生成函数等。书中在每节后均配有一定数量的习题。为便于学生自学,书末附有部分习题的参考答案。
本书论述严谨、条理清楚,注重培养学生严格的逻辑推理能力,可作为本科数学和计算机相关专业的教材或参考书。
本书论述严谨、条理清楚,注重培养学生严格的逻辑推理能力,可作为本科数学和计算机相关专业的教材或参考书。
目录
第1章 基础知识
1.1 集合和关系
1.2 关系的表示与运算
1.3 偏序集与布尔格
1.4 排列和组合
1.5 鸽巢原理与容斥原理
参考文献
第2章 图论基础
2.1 图与有向图
2.2 树的性质
2.3 根树及其应用
2.4 最小生成树和最短路径
2.5 欧拉图和哈密顿图
参考文献
第3章 再论图论
3.1 二部图
3.2 最大匹配及稳定匹配
3.3 图的连通性
3.4 平面图
3.5 图的差色
参考文献
第4章 数理逻辑
4.1 命题及命题公式
4.2 等值演算
4.3 范式
4.4 推理理论
4.5 谓词逻辑简介
参考文献
第5章 生成函数与递推关系
5.1 生成函数
5.2 生成函数在求解递推关系中的应用
5.3 指数型生成函数
参考文献
附录
附录1 无线集简介
附录2 代数系统简介
部分习题参考答案
1.1 集合和关系
1.2 关系的表示与运算
1.3 偏序集与布尔格
1.4 排列和组合
1.5 鸽巢原理与容斥原理
参考文献
第2章 图论基础
2.1 图与有向图
2.2 树的性质
2.3 根树及其应用
2.4 最小生成树和最短路径
2.5 欧拉图和哈密顿图
参考文献
第3章 再论图论
3.1 二部图
3.2 最大匹配及稳定匹配
3.3 图的连通性
3.4 平面图
3.5 图的差色
参考文献
第4章 数理逻辑
4.1 命题及命题公式
4.2 等值演算
4.3 范式
4.4 推理理论
4.5 谓词逻辑简介
参考文献
第5章 生成函数与递推关系
5.1 生成函数
5.2 生成函数在求解递推关系中的应用
5.3 指数型生成函数
参考文献
附录
附录1 无线集简介
附录2 代数系统简介
部分习题参考答案