离散数学及其应用 原书第7版 本科教学版 中文版 计算机科学丛书-so88
离散数学及其应用 原书第7版 本科教学版 中文版 计算机科学丛书 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
店铺: 华心图书专营店 出版社: 机械工业出版社 ISBN:9787111555391 商品编码:26798319692
Discrete Mathematics and Its Applications,7E
出版者的话
改编者序
译者序
前言
配套网站
致学生
关于作者
符号表
dy 章 基础:逻辑和证明1
1.1 命题逻辑1
1.1.1 引言1
1.1.2 命题1
1.1.3 条件语句4
1.1.4 复合命题的真值表7
1.1.5 逻辑运算符的优先级7
1.1.6 逻辑运算和位运算7
练习8
1.2 命题逻辑的应用11
1.2.1 引言11
1.2.2 语句翻译11
1.2.3 系统规范说明12
1.2.4 布尔搜索12
1.2.5 逻辑谜题13
1.2.6 逻辑电路14
练习15
1.3 命题等价式16
1.3.1 引言16
1.3.2 逻辑等价式17
1.3.3 德·摩根律的运用19
1.3.4 构造新的逻辑等价式19
1.3.5 命题的可满足性20
1.3.6 可满足性的应用20
1.3.7 可满足性问题求解22
练习22
1.4 谓词和量词24
1.4.1 引言24
1.4.2 谓词24
1.4.3 量词25
1.4.4 约束论域的量词28
1.4.5 量词的优先级29
1.4.6 变量绑定29
1.4.7 涉及量词的逻辑等价式29
1.4.8 量化表达式的否定30
1.4.9 语句到逻辑表达式的翻译31
1.4.10 系统规范说明中量词的使用32
1.4.11 选自路易斯·卡罗尔的例子33
1.4.12 逻辑程序设计33
练习34
1.5 嵌套量词37
1.5.1 引言37
1.5.2 理解涉及嵌套量词的语句37
1.5.3 量词的顺序38
1.5.4 数学语句到嵌套量词语句的翻译39
1.5.5 嵌套量词到自然语言的翻译40
1.5.6 汉语语句到逻辑表达式的翻译40
1.5.7 嵌套量词的否定41
练习42
1.6 推理规则45
1.6.1 引言45
1.6.2 命题逻辑的有效论证45
1.6.3 命题逻辑的推理规则46
1.6.4 使用推理规则建立论证48
1.6.5 消解律49
1.6.6 谬误49
1.6.7 量化命题的推理规则50
1.6.8 命题和量化命题推理规则的组合使用51
练习52
1.7 证明导论53
1.7.1 引言53
1.7.2 一些专用术语53
1.7.3 理解定理是如何陈述的54
1.7.4 证明定理的方法54
1.7.5 直接证明法54
1.7.6 反证法55
1.7.7 归谬证明法57
1.7.8 证明中的错误59
1.7.9 良好的开端60
练习60
1.8 证明的方法和策略61
1.8.1 引言61
1.8.2 穷举证明法和分情形证明法61
1.8.3 存在性证明65
1.8.4 wei一性证明66
1.8.5 证明策略66
1.8.6 寻找反例68
1.8.7 证明策略实践68
1.8.8 拼接68
1.8.9 开放问题的作用71
1.8.10 其他证明方法71
练习72
关键术语和结论73
复习题75
补充练习75
计算机课题78
计算和探索78
写作课题78
第2章 基本结构:集合、函数、序列、求和与矩阵79
2.1 集合79
2.1.1 引言79
2.1.2 文氏图81
2.1.3 子集81
2.1.4 集合的大小82
2.1.5 幂集83
2.1.6 笛卡儿积83
2.1.7 使用带量词的集合符号84
2.1.8 真值集和量词84
练习85
2.2 集合运算86
2.2.1 引言86
2.2.2 集合恒等式88
2.2.3 扩展的并集和交集90
2.2.4 集合的计算机表示91
练习92
2.3 函数94
2.3.1 引言94
2.3.2 一对一函数和映上函数96
2.3.3 反函数和函数组合98
2.3.4 函数的图100
2.3.5 一些重要的函数101
2.3.6 部分函数103
练习103
2.4 序列与求和106
2.4.1 引言106
2.4.2 序列106
2.4.3 递推关系107
2.4.4 特殊的整数序列109
2.4.5 求和111
练习114
2.5 集合的基数116
2.5.1 引言116
2.5.2 可数集116
2.5.3 不可数集合118
练习120
2.6 矩阵121
2.6.1 引言121
2.6.2 矩阵算术122
2.6.3 矩阵的转置和幂123
2.6.4 0-1矩阵124
练习125
关键术语和结论126
复习题128
补充练习 离散数学及其应用 原书第7版 本科教学版 中文版 计算机科学丛书 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 人一生不可不知的科学理论
- 儿童成长餐 全3册 0-5岁婴幼儿童辅食成长餐搭配攻略儿童营养饮食婴幼儿辅食配餐
- 中葡澳门谈判(1986~1999) 9787509784808 [葡]卡门·曼德思(Car
- 宝宝的**本游戏书(适合0-1岁宝宝的德式PEKiP婴儿早教游戏)
- 大师经典系列 别莱利曼的趣味科学:七天玩转趣味物理(2)
- 解毒妈咪 9787539055879 江西科学技术出版社
- 满58包邮 盐的景观,世界篇 9787503872969 秦昭 中国林业出版社
- 好妈妈胜过好老师亲子手记
- 正版 戴震文集(中国历史文集丛刊) (清)戴震,赵玉新 点校 9787101007589
- 感知生活图画书全6册
- 幻想的奇迹:技术发明99
- 爱,听得见——教练式父母方法 9787121287916 电子工业出版社
- 地球与太空:美国宇航局NASA珍贵摄影集 天文航天 科普书籍
- 逆反的孩子怎么管 9787802501645
- 理解科普