离散数学及其应用(原书第8版)

离散数学及其应用(原书第8版)

查阅电子书
手机扫码
  • 微信扫一扫

    关注微信公众号

因版权原因待上架

内容简介

本书是经典的离散数学教材,被全球数百所大学广为采用。书中全面而系统地介绍了离散数学的理论和方法,主要包括:逻辑和证明,集合、函数、序列、求和与矩阵,算法,数论和密码学,归纳与递归,计数,离散概率,关系,图,树,布尔代数,计算模型。全书取材广泛,除包括定义、定理的严格陈述外,还配备大量的例题、图表、应用实例和练习。第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

  1.4.13 逻辑程序设计45

  练习46

 1.5 嵌套量词51

  1.5.1 引言51

  1.5.2 理解涉及嵌套量词的语句51

  1.5.3 量词的顺序52

  1.5.4 数学语句到嵌套量词语句的翻译53

  1.5.5 嵌套量词到自然语言的翻译54

  1.5.6 汉语语句到逻辑表达式的翻译54

  1.5.7 嵌套量词的否定55

  练习56

 1.6 推理规则62

  1.6.1 引言62

  1.6.2 命题逻辑的有效论证62

  1.6.3 命题逻辑的推理规则63

  1.6.4 使用推理规则建立论证65

  1.6.5 消解律66

  1.6.6 谬误66

  1.6.7 量化命题的推理规则67

  1.6.8 命题和量化命题推理规则的组合使用68

  练习69

 1.7 证明导论72

  1.7.1 引言72

  1.7.2 一些专用术语72

  1.7.3 理解定理是如何陈述的73

  1.7.4 证明定理的方法73

  1.7.5 直接证明法73

  1.7.6 反证法74

  1.7.7 归谬证明法76

  1.7.8 证明中的错误78

  1.7.9 良好的开端79

  练习80

 1.8 证明的方法和策略81

  1.8.1 引言81

  1.8.2 穷举证明法和分情形证明法81

  1.8.3 存在性证明84

  1.8.4 唯一性证明86

  1.8.5 证明策略87

  1.8.6 寻找反例89

  1.8.7 证明策略实践90

  1.8.8 拼接90

  1.8.9 开放问题的作用92

  1.8.10 其他证明方法93

  练习94

 关键术语和结论96

 复习题97

 补充练习98

 计算机课题100

 计算和探索101

 写作课题101

第2章 基本结构:集合、函数、序列、求和与矩阵102

 2.1 集合102

  2.1.1 引言102

  2.1.2 文氏图104

  2.1.3 子集105

  2.1.4 集合的大小106

  2.1.5 幂集107

  2.1.6 笛卡儿积107

  2.1.7 使用带量词的集合符号109

  2.1.8 真值集和量词109

  练习109

 2.2 集合运算112

  2.2.1 引言112

  2.2.2 集合恒等式114

  2.2.3 扩展的并集和交集116

  2.2.4 集合的计算机表示117

  2.2.5 多重集118

  练习119

 2.3 函数123

  2.3.1 引言123

  2.3.2 一对一函数和映上函数125

  2.3.3 反函数和函数合成128

  2.3.4 函数的图130

  2.3.5 一些重要的函数130

  2.3.6 部分函数133

  练习133

 2.4 序列与求和138

  2.4.1 引言138

  2.4.2 序列138

  2.4.3 递推关系139

  2.4.4 特殊的整数序列141

  2.4.5 求和144

  练习147

 2.5 集合的基数150

  2.5.1 引言150

  2.5.2 可数集合151

  2.5.3 不可数集合153

  练习155

 2.6 矩阵157

  2.6.1 引言157

  2.6.2 矩阵算术158

  2.6.3 矩阵的转置和幂159

  2.6.4 0-1矩阵160

  练习161

 关键术语和结论164

 复习题166

 补充练习166

 计算机课题168

 计算和探索169

 写作课题169

第3章 算法170

 3.1 算法170

  3.1.1 引言170

  3.1.2 搜索算法172

  3.1.3 排序174

  3.1.4 字符串匹配176

  3.1.5 贪婪算法177

  3.1.6 停机问题179

  练习180

 3.2 函数的增长183

  3.2.1 引言183

  3.2.2 大O记号184

  3.2.3 一些重要函数的大O估算187

  3.2.4 函数组合的增长190

  3.2.5 大Ω与大Θ记号191

  练习192

 3.3 算法的复杂度196

  3.3.1 引言196

  3.3.2 时间复杂度196

  3.3.3 矩阵乘法的复杂度198

  3.3.4 算法范型199

  3.3.5 理解算法的复杂度201

  练习203

 关键术语和结论207

 复习题208

 补充练习209

 计算机课题211

 计算和探索211

 写作课题212

第4章 数论和密码学213

 4.1 整除性和模算术213

  4.1.1 引言213

  4.1.2 除法213

离散数学及其应用(原书第8版)是2019年由机械工业出版社出版,作者[美]肯尼思·H.。

得书感谢您对《离散数学及其应用(原书第8版)》关注和支持,如本书内容有不良信息或侵权等情形的,请联系本网站。

购买这本书

你可能喜欢
人民邮电出版社税务会计 电子书
1. 作者知名度高——本书作者是丽水职业技术学院院长,财会专业知名专家,国家精品课程负责人; 2. 教材内容新——本书根据2019年新的税法和会计准则为依据,对税务会计相关知识内容进行了更新; 3. 编写体例巧——根据税务会计实际工作过程设计学习内容,按照理实一体的高职教育要求,每个学习任务后面附有练习,每个项目结束附有综合实训,目的在于让学生边学边练,理实一体,在实训过程中掌握税务会计工作的基本操作流程和操作要领,能计算企业常见税费的应缴金额,会办理各税款的纳税申报和相关的涉税会计处理。 4. 教材可读性强——教材在编写时对内容体系、难易程度、案例等方面进行了特殊处理,具有明显的针对性和易读性; 5. 配套丰富资源,在同类教材中作者知名度高,在同一作者同名书中配套资源好。
商务数据可视化套装 电子书
本书以Excel在商务数据可视化中的具体应用为主线,详细介绍了商务数据分析可视化的方法与技巧,主要内容包括:商务数据可视化入门、商务数据表格图形化、使用折线图展示数据趋势、使用柱形图与条形图对比商务数据、使用饼图展示数据占比、使用散点图与气泡图展示数据分布、使用特殊图表实现数据可视化、使用动态图表实现可视化交互、商务数据图表的设计与美化等。
人工智能导论 电子书
1.一本融合人工智能相关理论与方法、人工智能技术实现的系统化图书; 2.从交叉学科层面、进化历史层面、哲学思想层面、社会发展层面、工程技术层面等不同纬度深入解析; 3.作者长期从事人工智能导论、原理与方法的课程教学,主要研究领域涉及类脑计算、自然计算、智能机器人、视觉智能与认知智能等; 4.内容全面且深入浅出,满足新工科建设、传统理工科和非理工科专业的通识课教学需求; 5.拒绝泛泛而谈,PPT、指导方案、视频和各类拓展资源,让您事半功倍。
新一代信息技术导论(微课版) 电子书
(1)本书主要面向高等职业院校在校学生,帮助学生了解物联网、云计算、大数据、人工智能及区块链的基本原理和基本知识,熟悉新一代信息技术在多个行业中的应用,为后续学生在专业课程学习中能融合应用新一代信息技术奠定基础。 (2)本书注重知识结构的基础性与完整性,确保技术内容的通用性、普适性与先进性,遵循教育规律,同时,精选行业真实案例,能够开阔学生视野,启发创新思维,满足新一代信息技术人才培养要求。
内容电商运营 电子书
1.整书的任务书式设计,让实操性更强 基于实操任务式设计,全书共分八大模块,X个任务书,任务书的设计来源于内容运营从业者的主要工作内容,包含任务背景、任务要求、任务考核标准、任务实施流程、任务结果、任务总结等。本书任务书式的设计,让学习者从被动变主动,学习效果更好。 2.系统、全面 本书的任务书设计和知识点梳理均是根据内容运营者的工作内容和工作流程来设计,涵盖了从内容定位、内容规划、内容创作、内容投放、内容管理、内容评价、内容优化的一系列流程;从内容形式到内容性质,包含图文、图集、视频、直播内容,涵盖了多种内容形式和不同维度的内容创作;从自有平台的内容创作到第三方平台的内容投放;系统、全面的涵盖了当今电商领域内容运营的知识点。