作者：陈业纲编著
页数：189页
出版社：西南交通大学出版社
出版日期：2018
ISBN：9787564365073
电子书格式：pdf/epub/txt
内容简介
本书主要讲述了数理逻辑, 集合与关系、图论、代数系统等内容, 分为数理逻辑、图、关系、函数与集合、树、代数系统、递推方程的求解等七个章节。“离散数学”课程本身的理论性较强, 通过实验实践内容的训练, 可以突出逻辑性思维训练的特征, 目的是提高学生学习的兴趣及实际动手的能力。
作者简介
陈业纲，男, 生于1971年5月。长江师范学院教师，副教授，研究方向:计算机算法和大数据和物联网，发表论文30余篇，出版专著3部，出版计算机教材2本，主持市级以上项目3个
目录
第1章 数理逻辑
1．1 真值表、主析取范式和主合取范式
1．2 推理
1．1 真值表、主析取范式和主合取范式
1．2 推理
第2章 图
2．1 图的基本概念
2．2 二分图、欧拉图和哈密顿图
2．3 最短路径、关键路径
2．4 广度优先、深度优先算法
2．5 桥、割点
第3章 关系
3．1 关系的性质
3．2 偏序集极小极大元最小最大元
3．3 矩阵与关系闭包
3．4 布尔矩阵交并积
3．5 关系的传递闭包
3．6 最小等价关系
第4章 函数与集合
4．1 单满射一一映射
4．2 集合的运算
4．3 并查集
4．4 排列组合
4．5 商集
4．6 格雷码
4．7 数字拆解
第5章 树
5．1 表达式运算
5．2 树的判定和遍历
5．3 最小生成树
5．4 哈夫曼树
第6章 代数系统
6．1 群的判断
6．2 格
第7章 递推方程的求解
7．1 递归
7．2 递推数列
参考文献
