《离散数学及其应用(第6版)》课后习题答案

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

《离散数学及其应用（原书第6版）（本科教学版）》是经典的离散数学教材，为全球多所大学广为采用。《计算机科学丛书：离散数学及其应用（原书第6版·本科教学版）》全面而系统地介绍了离散数学的理论和方法，除包括定义、定理的严密陈述外，还配备大量的实例和图表的说明、各种练习和题目。第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.10翻译语句为逻辑表达式
• 1.3.11在系统说明中运用量词
• 1.3.12选自LewisCarroll的例子
• 1.3.13逻辑程序设计
• 练习
• 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帕斯卡恒等式和三角形
• ……
• 第4章高级计数技术
• 第5章关系
• 第6章图
• 第7章树
• 练习题答案