离散数学及其应用（原书第8版）（本科教学版） / 计算机科学丛书
￥79.00定价
作者： [美]肯尼思·H.罗森著；徐六通，杨娟等译
出版时间：2019-12
出版社：机械工业出版社
- 机械工业出版社
- 9787111642176
- 8版
- 283814
- 47229633-4
- 平装
- 16开
- 2019-12
- 642
- 428
- 理学
- 数学
- O158
- 计算机通信类
- 本科
作者简介
内容简介
本书是经典的离散数学教材，被数百所大学广为采用。本科教学版缩减了篇幅，保留的主要内容包括：逻辑和证明，集合、函数、序列、求和与矩阵，计数，关系，图，树，布尔代数。
取材广泛，除包括定义、定理的严格陈述外，还配备大量的例题、图表、应用实例和练习。第8版做了与时俱进的更新，成为更加实用的教学工具。
可作为高等院校数学、计算机科学和计算机工程等专业的教材，也可作为科技领域从业人员的参考书。
本书是介绍离散数学理论和方法的经典教材，被数百所高校采用，获得了极大的成功。第8版做了与时俱进的修改，同时更新了配套教辅资源，成为更加实用的教学工具。本科教学版缩减了篇幅，适用于数学、计算机科学、计算等
取材广泛，除包括定义、定理的严格陈述外，还配备大量的例题、图表、应用实例和练习。第8版做了与时俱进的更新，成为更加实用的教学工具。
可作为高等院校数学、计算机科学和计算机工程等专业的教材，也可作为科技领域从业人员的参考书。
本书是介绍离散数学理论和方法的经典教材，被数百所高校采用，获得了极大的成功。第8版做了与时俱进的修改，同时更新了配套教辅资源，成为更加实用的教学工具。本科教学版缩减了篇幅，适用于数学、计算机科学、计算等
目录
●出版者的话改编者序译者序前言在线资源致学生作者简介符号表章 基础：逻辑和证明1.1 命题逻辑1.1.1 引言1.1.2 命题1.1.3 条件语句1.1.4 复合命题的真值表1.1.5 逻辑运算符的优先级1.1.6 逻辑运算和比特运算奇数编号练习1.2 命题逻辑的应用1.2.1 引言1.2.2 语句翻译1.2.3 系统规范说明1.2.4 布尔搜索1.2.5 逻辑谜题1.2.6 逻辑电路奇数编号练习1.3 命题等价式1.3.1 引言1.3.2 逻辑等价式1.3.3 德·摩根律的运用1.3.4 构造新的逻辑等价式1.3.5 可满足性1.3.6 可满足性的应用1.3.7 可满足性问题求解奇数编号练习1.4 谓词和量词1.4.1 引言1.4.2 谓词1.4.3 量词1.4.4 有限域上的量词1.4.5 受限域的量词1.4.6 量词的优先级1.4.7 变量绑定1.4.8 涉及量词的逻辑等价式1.4.9 量化表达式的否定1.4.10 语句到逻辑表达式的翻译1.4.11 系统规范说明中量词的使用1.4.12 选自路易斯·卡罗尔的例子1.4.13 逻辑程序设计奇数编号练习1.5 嵌套量词1.5.1 引言1.5.2 理解涉及嵌套量词的语句1.5.3 量词的顺序1.5.4 数学语句到嵌套量词语句的翻译1.5.5 嵌套量词到自然语言的翻译1.5.6 汉语语句到逻辑表达式的翻译1.5.7 嵌套量词的否定奇数编号练习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.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.8 证明的方法和策略1.8.1 引言1.8.2 穷举证明法和分情形证明法1.8.3 存在性证明1.8.4 性证明1.8.5 证明策略1.8.6 寻找反例1.8.7 证明策略实践1.8.8 拼接1.8.9 开放问题的作用1.8.10 其他证明方法奇数编号练习章末资料（在线）……第2章 基本结构：集合、函数、序列、求和与矩阵第3章 计数第4章 不错计数技术第5章 关系第6章 图第7章 树第8章 布尔代数推荐读物（在线）参考文献（在线）奇数编号练习答案（在线）
