离散数学及其应用（原书第6版·本科教学版）

本书是经典的离散数学教材，为优选多所大学广为采用。本书全面而系统地介绍了离散数学的理论和方法，除包括定义、定理的严密陈述外，还配备大量的实例和图表的说明、各种练习和题目。第6版在前五版的基础上做了大量的改进，使其成为更有效的教学工具。
本书可作为高等院校数学、计算机科学和计算机工程等专业的教材或参考书。

出版者的话
改编者序
译者序
前言
第1章  基础：逻辑和证明
  1.1  命题逻辑
    1.1.1  引言
    1.1.2  命题
    1.1.3  条件语句
    1.1.4  复合命题的真值表
    1.1.5  逻辑运算符的优先级
    1.1.6  翻译语句
    1.1.7  系统规范说明
    1.1.8  布尔检索
    1.1.9  逻辑难题
    1.1.10  逻辑运算和位运算
    练习
  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.3.4  其他量词
    1.3.5  约束论域量词
    1.3.6  量词的优先级
    1.3.7  绑定变量
    1.3.8  涉及量词的逻辑等价
    1.3.9  否定量化表达式
    1.3.1  0翻译语句为逻辑表达式
    1.3.1  1在系统说明中运用量词
    1.3.1  2选自lewis  carroll的例子
    1.3.1  3逻辑程序设计
    练习
  1.4  嵌套量词
    1.4.1  引言
    1.4.2  量词的顺序
    1.4.3  将数学语句翻译成涉及嵌套量词的语句
    1.4.4  将嵌套量词翻译为汉语
    1.4.5  将汉语语句翻译成逻辑表达式
    1.4.6  否定嵌套量词
    练习
  1.5  推理规则
    1.5.1  引言
    1.5.2  命题逻辑的有效论证
    1.5.3  命题逻辑的推理规则
    1.5.4  用推理规则建立论证
    1.5.5  消解
    1.5.6  谬误
    1.5.7  带量词命题的推理规则
    1.5.8  命题推理和量化语句推理规则的结合
    练习
  1.6  证明导论
    1.6.1  引言
    1.6.2  一些专用术语
    1.6.3  定理陈述的理解
    1.6.4  证明定理的方法
    1.6.5  直接证明
    1.6.6  反证法
    1.6.7  归谬证明
    1.6.8  证明中的错误
    1.6.9  仅仅是开始
    练习
  1.7  证明的方法和策略
    1.7.1  引言
    1.7.2  穷举证明和分情形证明
    1.7.3  存在性证明
    1.7.4  唯一性证明
    1.7.5  证明策略
    1.7.6  寻找反例
    1.7.7  行动证明策略
    1.7.8  填充
    1.7.9  未解决问题的作用
    1.7.10  其他证明方法
    练习
  关键术语和结果
  复习题
  补充练习
  计算机题目
  计算和研究
  写作题目
第2章  基本结构：集合、函数、数列与求和
  2.1  集合
    2.1.1  引言
    2.1.2  幂集合
    2.1.3  笛卡儿积
    2.1.4  使用带量词的集合符号
    2.1.5  量词的真值集合
    练习
  2.2  集合运算
    2.2.1  引言
    2.2.2  集合恒等式
    2.2.3  扩展的并集和交集
    2.2.4  计算机表示集合的方式
    练习
  2.3  函数
    2.3.1  引言
    2.3.2  一对一函数和映上函数
    2.3.3  反函数和函数组合
    2.3.4  函数的图像
    2.3.5  几个重要的函数
    练习
  2.4  序列与求和
    2.4.1  引言
    2.4.2  序列
    2.4.3  特殊的整数序列
    2.4.4  求和
    2.4.5  基数
    练习
  关键术语和结果
  复习题
  补充练习
  计算机题目
  计算和研究
  写作题目
第3章  计数
  3.1  计数基础
    3.1.1  引言
    3.1.2  基本的计数原则
    3.1.3  比较复杂的计数问题
    3.1.4  容斥原理
    3.1.5  树图
    练习
  3.2  鸽巢原理
    3.2.1  引言
    3.2.2  广义鸽巢原理
    3.2.3  巧妙使用鸽巢原理
    练习
  3.3  排列与组合
    3.3.1  引言
    3.3.2  排列
    3.3.3  组合
    练习
  3.4  二项式系数
    3.4.1  二项式定理
    3.4.2  帕斯卡恒等式和三角形
    3.4.3  其他的二项式系数恒等式
    练习
  3.5  排列与组合的推广
    3.5.1  引言
    3.5.2  有重复的排列
    3.5.3  有重复的组合
    3.5.4  具有不可区别物体的集合的排列
    3.5.5  把物体放入盒子
    练习
  3.6  生成排列和组合
    3.6.1  引言
    3.6.2  生成排列
    3.6.3  生成组合
    练习
  关键术语和结果
  复习题
  补充练习
  计算机题目
  计算和研究
  写作题目
第4章  高级计数技术
  4.1  递推关系基础
    4.1.1  引言
    4.1.2  递推关系
    4.1.3  用递推关系构造模型
    练习
  4.2  求解线性递推关系
    4.2.1  引言
    4.2.2  求解常系数线性齐次递推关系
    4.2.3  常系数线性非齐次的递推关系
    练习
  4.3  分治算法和递推关系
    4.3.1  引言
    4.3.2  分治递推关系
    练习
  4.4  生成函数
    4.4.1  引言
    4.4.2  关于幂级数的有用事实
    4.4.3  计数问题与生成函数
    4.4.4  使用生成函数求解递推关系
    4.4.5  使用生成函数证明恒等式
    练习
  4.5  容斥
    4.5.1  引言
    4.5.2  容斥原理
    练习
  4.6  容斥原理的应用
    4.6.1  引言
    4.6.2  容斥原理的另一种形式
    4.6.3  埃拉托色尼筛
    4.6.4  映上函数的个数
    4.6.5  错位排列
    练习
  关键术语和结果
  复习题
  补充练习
  计算机题目
  计算和研究
  写作题目
第5章  关系
  5.1  关系及其性质
    5.1.1  引言
    5.1.2  函数作为关系
    5.1.3  集合的关系
    5.1.4  关系的性质
    5.1.5  关系的组合
    练习
  5.2  n元关系及其应用
    5.2.1  引言
    5.2.2  n元关系
    5.2.3  数据库和关系
    5.2.4  n元关系的运算
    5.2.5  sql
    练习
  5.3  关系的表示
    5.3.1  引言
    5.3.2  用矩阵表示关系
    5.3.3  用图表示关系
    练习
  5.4  关系的闭包
    5.4.1  引言
    5.4.2  闭包
    5.4.3  有向图的路径
    5.4.4  传递闭包
    5.4.5  沃舍尔算法
    练习
  5.5  等价关系基础
    5.5.1  引言
    5.5.2  等价关系
    5.5.3  等价类
    5.5.4  等价类与划分
    练习
  5.6  偏序
    5.6.1  引言
    5.6.2  字典顺序
    5.6.3  哈塞图
    5.6.4  极大元素与极小元素
    5.6.5  格
    5.6.6  拓扑排序
    练习
  关键术语和结果
  复习题
  补充练习
  计算机题目
  计算和研究
  写作题目
第6章  图
  6.1  图和图模型
    练习
  6.2  图的术语和几种特殊的图
    6.2.1  引言
    6.2.2  基本术语
    6.2.3  一些特殊的简单图
    6.2.4  偶图
    6.2.5  特殊类型的图的一些应用
    6.2.6  从旧图到新图
    练习
  6.3  图的表示和图的同构
    6.3.1  引言
    6.3.2  图的表示
    6.3.3  邻接矩阵
    6.3.4  关联矩阵
    6.3.5  图的同构
    练习
  6.4  连通性
    6.4.1  引言
    6.4.2  通路
    6.4.3  无向图的连通性
    6.4.4  有向图的连通性
    6.4.5  通路与同构
    6.4.6  计算顶点之间的通路数
    练习
  6.5  欧拉通路与哈密顿通路
    6.5.1  引言
    6.5.2  欧拉通路与欧拉回路
    6.5.3  哈密顿通路与哈密顿回路
    练习
  6.6  最短通路问题
    6.6.1  引言
    6.6.2  最短通路算法
    6.6.3  旅行商问题
    练习
  6.7  可平面图
    6.7.1  引言
    6.7.2  欧拉公式
    6.7.3  库拉图斯基定理
    练习
  6.8  图着色
    6.8.1  引言
    6.8.2  图着色的应用
    练习
  关键术语和结果
  复习题
  补充练习
  计算机题目
  计算和研究
  写作题目
第7章  树
  7.1  概述
    7.1.1  树作为模型
    7.1.2  树的性质
    练习
  7.2  树的应用
    7.2.1  引言
    7.2.2  二叉搜索树
    7.2.3  决策树
    7.2.4  前缀码
    7.2.5  博弈树
    练习
  7.3  树的遍历
    7.3.1  引言
    7.3.2  通用地址系统
    7.3.3  遍历算法
    7.3.4  中缀、前缀和后缀记法
    练习
  7.4  生成树
    7.4.1  引言
    7.4.2  深度优先搜索
    7.4.3  宽度优先搜索
    7.4.4  回溯
    7.4.5  有向图中的深度优先搜索
    练习
  7.5  最小生成树
    7.5.1  引言
    7.5.2  最小生成树算法
    练习
    关键术语和结果
    复习题
  补充练习
  计算机题目
  计算和研究
  写作题目
练习题答案