新書推薦：
《
诛吕：“诸吕之乱”的真相与吕太后时期的权力结构
》
售價：NT$
454.0
《
炙野（全2册）
》
售價：NT$
356.0
《
女人的胜利
》
售價：NT$
254.0
《
数据有道：数据分析+图论与网络+微课+Python编程（鸢尾花数学大系：从加减乘除到机器学习）
》
售價：NT$
1214.0
《
500万次倾听：陪伤心的人聊聊
》
售價：NT$
245.0
《
英国商业500年（见证大国崛起与企业兴衰，启迪未来商业智慧。）
》
售價：NT$
367.0
《
万千心理·儿童心理治疗中的心智化：临床实践指导
》
售價：NT$
398.0
《
自我囚禁的人：完美主义的心理成因与自我松绑（破除你对完美主义的迷思，尝试打破自我评价过低与焦虑的恶性循环）
》
售價：NT$
301.0
|
| 編輯推薦： |
（1）本课程根据课程建设目标和思路重点修订教学大纲和教学资源，编写纸质教材和数学资源相结合的微课版离散数学教材。
（2）根据数字资源的实时性，不断汲取学科的新知识和新方法，随时更新数字教材，真正实现教材的与时俱进。
（3）针对现有《离散数学》教材与新技术和新方法结合不够、学生解决复杂问题的综合能力和高级思维锻炼不足问题，本课程结合大数据分析、人工智能等前沿科学，给出详尽的案例分析，提高学生汲取新知识和新方法的兴趣。
（4）根据本课程的建设内容使学生系统地掌握离散数学的基本理论和基本方法，重点以离散数学课程重要知识点为纽带，夯实程序设计思路，拓展数据结构中数据和关系的表示方法，提高了学生从实例计算到抽象类计算的应用能力。
（5）结合大数据分析、人工智能等前沿科学，给出详尽的案例分析，提高了学生汲取新知识和新方法的兴趣，较好地培养了学生构建复杂问题解决方案的能力。
|
| 內容簡介： |
本书是“全国高等学校计算机教育研究会‘十四五’规划教材”，较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程的重要知识点为纽带，夯实程序设计思路，拓展数据和关系的表示方法，强化从实例计算到模型计算和问题—形式化—自动化（计算机化）等方法，为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、关系、函数与集合的势、图论、树和有序树、群和环、格与布尔代数共12章组成。本书知识结构完整，内容丰富，不仅配备了符合教学目标的课后习题，还配备了重点章节的微课视频，既方便教学，又方便自学。
本书可作为高等院校计算机科学与技术及相关专业离散数学课程的教材，也可作为教师、研究生或软件技术人员的参考书。
|
| 目錄：
|
第1章命题演算基础1
1.1命题和联结词1
1.1.1命题1
1.1.2联结词2
1.1.3合式公式5
1.1.4命题逻辑的应用6
1.2真假性9
1.2.1解释9
1.2.2等价公式10
1.2.3联结词的完备集11
1.2.4对偶式和内否式12
1.3范式及其应用14
1.3.1范式14
1.3.2主范式16
1.3.3范式的应用19
1.4典型例题20
习题21
第2章命题演算的推理理论25
2.1命题演算的公理系统25
2.1.1公理系统的组成部分26
2.1.2公理系统的推理过程27
2.2若干重要的导出规则29
2.2.1分离规则的讨论29
2.2.2公理和定理的导出规则29
2.3命题演算的假设推理系统31
2.3.1假设推理系统的组成31
2.3.2假设推理系统的推理过程32
2.3.3额外假设推理法34
2.4命题演算的归结推理法36
2.4.1归结证明过程36
2.4.2归结证明示例37
2.5典型例题38
习题41
〖3〗离散数学（微课版）目录〖3〗第3章谓词演算基础43
3.1个体和谓词43
3.1.1个体43
3.1.2谓词43
3.2函数项和量词46
3.2.1函数项46
3.2.2量词46
3.3自由变元和约束变元48
3.3.1自由出现和约束出现48
3.3.2改名和代入49
3.4永真性和可满足性50
3.4.1真假性50
3.4.2同真假性、永真性和可满足性52
3.4.3范式55
3.5唯一性量词和摹状词56
3.5.1唯一性量词56
3.5.2摹状词57
3.6典型例题58
习题59
第4章谓词演算的推理理论62
4.1谓词演算的永真推理系统62
4.1.1公理系统的组成部分62
4.1.2公理系统的推理过程64
4.2谓词演算的假设推理系统65
4.2.1假设推理系统的组成及证明方法65
4.2.2定理的假设推导过程66
4.3谓词演算的归结推理系统67
4.3.1置换68
4.3.2归结反演系统69
4.4霍恩子句逻辑程序72
4.5Prolog简介74
4.6典型例题76
习题78
第5章递归函数论81
5.1数论函数和数论谓词81
5.1.1数论函数81
5.1.2数论谓词和特征函数82
5.2函数的构造84
5.2.1迭置法84
5.2.2算子法85
5.2.3原始递归函数86
5.3典型例题87
习题88
第6章集合89
6.1集合的基本概念89
6.1.1集合的定义89
6.1.2集合的表示90
6.1.3集合的包含关系91
6.1.4集合的特点91
6.1.5多重集92
6.2集合的基本运算92
6.2.1集合的并、交、差92
6.2.2集合的对称差94
6.2.3文氏图94
6.2.4集合的幂集合95
6.2.5多个集合的并与交96
6.3全集和补集97
6.3.1全集和补集的定义97
6.3.2基本运算定理97
6.3.3集合的计算机表示98
6.4自然数与自然数集99
6.4.1后继99
6.4.2自然数和自然数集的定义99
6.4.3皮亚诺公理假设100
6.4.4自然数集的性质101
6.4.5集合的递归定义与递归子程序102
6.5包含与排斥原理104
6.6典型例题106
习题107
第7章关系111
7.1集合的笛卡儿积集111
7.1.1有序二元组111
7.1.2笛卡儿积集111
7.1.3有序n元组、n个集合的笛卡儿积集112
7.2二元关系的基本概念113
7.2.1二元关系113
7.2.2二元关系的表示113
7.2.3二元关系与数据结构114
7.2.4二元关系的运算115
7.3n元关系及其运算117
7.3.1n元关系117
7.3.2n元关系的运算118
7.4二元关系的性质120
7.4.1自反性、反自反性、对称性、反对称性、传递性和反传递性120
7.4.2二元关系性质的判定定理122
7.5二元关系的闭包运算124
7.5.1自反闭包、对称闭包和传递闭包124
7.5.2闭包的判定定理124
7.6等价关系和集合的划分128
7.6.1等价关系和等价类128
7.6.2商集合129
7.6.3集合的划分130
7.7偏序关系和格132
7.7.1偏序关系和偏序集132
7.7.2哈斯图133
7.7.3链、反链、全序集133
7.7.4极大元、极小元、最大元和最小元134
7.7.5上界、下界、最小上界和最大下界135
7.7.6格135
7.7.7拓扑排序136
7.8粗糙集概论138
7.8.1知识与知识分类138
7.8.2集合近似与粗糙集概念140
7.9典型例题141
习题142
第8章函数与集合的势148
8.1函数的基本概念148
8.1.1函数(映射)的定义148
8.1.2函数的性质150
8.2函数的复合和逆函数151
8.2.1函数的复合151
8.2.2左可逆函数、右可逆函数和逆函数152
8.3无限集155
8.3.1势155
8.3.2有限集和无限集156
8.3.3可数无限集和不可数无限集157
8.4集合势大小的比较159
8.4.1集合势的大小159
8.4.2伯恩斯坦定理159
8.5鸽巢原理160
8.6典型例题161
习题162
第9章图论165
9.1图的基本概念165
9.1.1有向图和无向图166
9.1.2图的同构、子图和补图167
9.1.3顶点的度168
9.2图中的通路、图的连通性和图的矩阵表示169
9.2.1通路、回路和连通性169
9.2.2图的矩阵表示171
9.3带权图与带权图中的最短通路174
9.4欧拉图176
9.5哈密顿图180
9.6二部图183
9.7平面图与平面图的着色186
9.7.1平面图186
9.7.2平面图的着色189
9.8典型例题191
习题192
第10章树和有序树197
10.1树的基本概念197
10.2连通图的生成树和带权连通图的最小生成树199
10.3有序树202
10.3.1根树202
10.3.2根树的应用203
10.4前缀码和最优2分树206
10.4.1前缀码206
10.4.2最优2分树207
10.4.3赫夫曼编码210
10.5典型例题211
习题213
第11章群和环216
11.1代数运算的基本概念216
11.1.1代数运算216
11.1.2交换律、结合律217
11.1.3n元运算218
11.2代数系统和半群219
11.2.1代数系统219
11.2.2同态映射和同构映射219
11.2.3半群与含幺半群221
11.3群的基本概念223
11.3.1逆元223
11.3.2群的定义223
11.3.3群的同态、同构226
11.3.4无限群、有限群、交换群和元的阶228
11.4群的几个等价定义230
11.5变换群和置换群231
11.5.1变换群231
11.5.2置换群232
11.6循环群235
11.7子群237
11.7.1子群的定义237
11.7.2子群的判定定理237
11.8子群的陪集239
11.8.1按子群划分的剩余类239
11.8.2右陪集239
11.8.3左陪集241
11.8.4拉格朗日定理242
11.9正规子群和商群244
11.9.1正规子群244
11.9.2商群245
11.10环和域247
11.10.1环、子环与理想248
11.10.2交换环和整环248
11.10.3除环和域249
11.11典型例题249
习题253
第12章格与布尔代数256
12.1格定义的代数系统256
12.2格258
12.2.1格的代数定义258
12.2.2子格260
12.2.3格的同态和同构260
12.3一些特殊的格261
12.3.1分配格261
12.3.2布尔格和布尔代数263
12.4有限布尔代数的唯一性263
12.4.1原子263
12.4.2有限布尔代数非零元素的表达264
12.4.3布尔代数的同构265
12.5布尔表达式和布尔函数266
12.5.1布尔表达式266
12.5.2布尔函数267
12.6典型例题269
习题270
参考文献272
|
| 內容試閱：
|
离散数学是计算机科学与技术重要的理论基础课程，它不仅是计算机科学的核心课程，而且已成为电子信息类专业的热门选修课。离散数学与计算机科学有着十分密切的关系。无论是数字计算机雏形的图灵机，还是数字电路的布尔代数，以及程序设计工具的语言、关系数据库、知识表示、人工智能等领域均离不开离散数学；同时两者的相互渗透推动了离散数学的发展。因此，学好离散数学对计算机科学与理论的研究有着重要的作用。
离散数学以研究离散量的结构和相互间的关系为主要目标，旨在介绍离散数学各个分支的基本概念、基本理论和基本方法。本书以离散数学课程重要知识点为纽带，夯实程序设计思路，拓展数据和关系的表示方法，强化从实例计算到模型计算的应用能力，使读者充分掌握问题-形式化-自动化（计算机化）方法，为后续的学习和科学研究打下良好的基础。
本书基于全国高等学校计算机教育研究会的教材规范对离散数学教学内容进行编著，强化了离散数学的相关概念及其应用，注重相关课程内容的相互渗透。本书共12章，主要内容包括命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、关系、函数与集合的势、图论、树和有序树、群和环、格与布尔代数。
本书第1、2、3、4、5、7、9、10、11章由朱保平编写，第6、8、12章由金忠编写，第6~12章由叶有培教授统一策划。第1~11章微课视频由朱保平录制，第12章微课视频由金忠录制。
由于作者水平有限，书中难免存在疏漏和不足之处，恳请读者批评指正。
作者
2023年8月
于南京理工大学
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
