内容简介
本书是一本优秀的离散数学入门教材，主要内容包括集合、关系、函数、编码理论、图、树、匹配、网络流、计数技术、递推关系与生成函数、组合电路和有限状态机等。
本书充分考虑到了初学者的需要，叙述浅显易懂，内容、例题、习题都作了精心的挑选和组织，讲解细致，循序渐进。
本书可作为高等院校计算机专业或其他相关专业的离散数学教材或教学参考书，也可作为自学者的参考书。
本书作者
章炯民，男，1964年出生。1989年毕业于华东师范大学计算机科学系，获硕士学位，并留校任教，现为华东师范大学信息学院计算机科学与技术系副教授。主要研究兴趣包括软件开发工具和环境、计算机理论、数据库系统及其应用、神经网络等，从事离散数学教学多年。
目录
离散数学纪年表
译者序
译者简介
前言
致学生
离散数学纪年表
第1章 组合问题与组合技术引论
1.1 工程完成时间的问题
1.1.1 问题
1.1.2 分析
1.1.3 关键路径分析
1.1.4 一个建筑的例子
1.2 匹配问题
1.2.1 问题
1.2.2 分析
1.2.3 排列
1.2.4 航空公司问题解决方案的实用性
1.3 背包问题
1.3.1 问题
1.3.2 分析
1.3.3 回顾实验问题
1.4 算法及其效率
1.4.1 算法的比较
1.4.2 多项式求值
1.4.3 子集生成算法
1.4.4 冒泡排序
历史注记
补充习题
计算机题
推荐读物
第2章 集合、关系和函数
2.1 集合运算
2.2 等价关系
2.3 偏序关系
2.3.1 偏序和全序
2.3.2 哈斯图
2.3.3 拓扑排序
2.4 函数
2.5 数学归纳法
2.6 应用
历史注记
补充习题
计算机题
推荐读物
第3章 编码理论
3.1 同余
3.2 欧几里得算法
3.2.1 最大公约数
3.2.2 欧几里得算法
3.2.3 欧几里得算法的效率
3.2.4 扩展的欧几里得算法
3.3 RSA方法
3.3.1 指数取模
3.3.2 RSA方法的解密
3.3.3 RSA方法的可行性
3.4 检错码和纠错码
3.5 矩阵码
3.5.1 矩阵码
3.5.2 编码的校验矩阵
3.6 单纠错矩阵码
3.6.1 校验矩阵行译码法
3.6.2 汉明码
历史注记
补充习题
计算机题
推荐读物
第4章 图
第5章 树
第6章 匹配
第7章 网络流
第8章 计数技术
第9章 递推关系与生成函数
第10章 组合电路和有限状态机
附录A 逻辑和证明简介
附录B 矩阵
附录C 本书中的算法
参考文献
奇数号习题答案
