离散数学及其应用 原书第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
电子书下载地址:
相关电子书推荐:
- 文件名
- 华丽公主-俏丽公主涂色
- 《草书大字典》整理本(套装上下册)
- WL-美国国家地理知识小百科:岩石和矿物-[美] 史蒂夫·托米塞克,[德] 卡斯滕·彼得,
- 赵孟頫楷书千家诗
- 铀之战:开启核时代的科学博弈:the scientific rivalry that cr
- 《中国共产党纪律处分条例》学习辅导
- 海怪 欧洲古异兽图考 [美]约瑟夫.尼格
- 群书治要360(2013卷)
- 满58包邮 科学的感动:爱因斯坦和相对论 9787218126074 茂木健一郎 广东人
- 书林藻鉴 书林记事
- 《大设计》(霍金全新著作,阐释宇宙问题) 9787535765444 湖南科技出版社
- 权力·制度·文化 国际关系理论与方法研究文集(第二版)
- 叶永烈科普全集(28卷) 叶永烈
- 书法经典放大·墨迹系列:孙过庭书谱(四)
- 发展金融学