离散数学中的算法设计与实现
作者：陈业纲编著
出版时间：2018年版
内容简介
离散数学是计算机科学与技术专业一门理论性较强的基础理论课，电是该专业的核心课程和主干课程。目前，国内离散数学教学主要是让学生掌握书中的概念、定理、公式并能灵活地解题，而对实验教学课程进行的研究较少，忽视了实践课程对理论课程的辅助和促进作用，也忽视了该课程与数据结构等课程的有机联系。但是，对于计算机专业的学生而言，学习离散数学更重要的是实践。为了改善这种局面，帮助学生更好地理解和掌握所学的基本概念和方法，并能运用所学知识，上机解决一些典型问题，在教学中应加强离散数学的实践教学，利用小组合作学习或者组织全班讨论，开展研究性学习活动。在实验过程中，依靠计算机，让学生主动参与探索、解决问题，使他们从中获得用离散数学研究、解决实际问题的过程体验、情感体验，产生成就感，进而提高学习的兴趣、实际动手的能力并激发创新潜能。《离散数学中的算法设计与实现》在编写中力求做到：理论与算法并重；去掉冗长的证明，保留简洁、有特色、能体现典型的数学思想和方法的内容；强调算法的基本思想和计算机实现。全书共分7部分：数理逻辑、图、关系、函数与集合、树、代数系统、递推方程的求解。书中所有代码均在VC++环境下调试通过。
目录
第1章 数理逻辑
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 递推数列
参考文献
