离散数学及其应用 原书第8版
正版新书 新华官方库房直发 可开电子发票
￥ 87.57 6.3折 ￥ 139 全新
库存27件
作者(美)肯尼思·H.罗森(Kenneth H.Rosen)
出版社机械工业出版社
ISBN9787111636878
出版时间2019-10
版次1
装帧平装
开本16开
纸张胶版纸
页数821页
定价139元
货号SC:9787111636878
上书时间2024-09-07
- 在售商品 暂无
- 平均发货时间 14小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
内容简介:
本书是经典的离散数学教材，被全球数百所大学广为采用。书中全面而系统地介绍了离散数学的理论和方法，主要包括：逻辑和证明，集合、函数、序列、求和与矩阵，算法，数论和密码学，归纳与递归，计数，离散概率，关系，图，树，布尔代数，计算模型。全书取材广泛，除包括定义、定理的严格陈述外，还配备大量的例题、图表、应用实例和练习。第8版做了与时俱进的更新，成为更加实用的教学工具。本书可作为高等院校数学、计算机科学和计算机工程等专业的教材，也可作为科技领域从业人员的参考书。
目录:
出版者的话
译者序
前言
在线资源
致学生
作者简介
符号表
第1章基础：逻辑和证明1
1.1命题逻辑1
1.1.1引言1
1.1.2命题1
1.1.3条件语句4
1.1.4复合命题的真值表7
1.1.5逻辑运算符的优先级8
1.1.6逻辑运算和比特运算8
练习9
1.2命题逻辑的应用15
1.2.1引言15
1.2.2语句翻译15
1.2.3系统规范说明16
1.2.4布尔搜索16
1.2.5逻辑谜题17
1.2.6逻辑电路18
练习20
1.3命题等价式23
1.3.1引言23
1.3.2逻辑等价式23
1.3.3德·摩根律的运用25
1.3.4构造新的逻辑等价式26
1.3.5可满足性28
1.3.6可满足性的应用28
1.3.7可满足性问题求解30
练习31
1.4谓词和量词34
1.4.1引言34
1.4.2谓词34
1.4.3量词37
1.4.4有限域上的量词39
1.4.5受限域的量词39
1.4.6量词的优先级40
1.4.7变量绑定40
1.4.8涉及量词的逻辑等价式40
1.4.9量化表达式的否定41
1.4.10语句到逻辑表达式的翻译42
1.4.11系统规范说明中量词的使用43
1.4.12选自路易斯·卡罗尔的例子44<
...
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价