离散数学（第二版） - 高等学校新工科计算机类专业系列教材 - 中国高校教材图书网
|
书名： |
离散数学（第二版）
高等学校新工科计算机类专业系列教材
|
| ISBN： | 9787560675862 |
条码： | |
| 作者： |
贾晖
相关图书
|
装订： | |
| 印次： | 2-1 |
开本： | 16开 |
| 定价： |
￥45.00
折扣价：￥42.75
折扣：0.95
节省了2.25元
|
字数： |
284千字
|
| 出版社： |
西安电子科技大学出版社 |
页数： |
420页
|
| 发行编号： | 5606 |
每包册数： |
9
|
| 出版日期： |
2025-02-17 |
|
|
| 内容简介： |
本书系统地介绍了离散数学的理论与方法。全书共9章, 内容包括命题逻辑、谓词逻辑、集合、二元关系和函数、代数系统、图论导论、特殊的图、树及其应用以及组合数学基础。为了帮助学生对庞杂的知识点进行理解记忆, 本书在讲解知识点时配有丰富的、面向计算机科学技术发展的应用实例; 同时, 每一章都有典型例题解析, 详细分析了该例题中所用到的基本概念和基本原理, 为学生提供了解题思路和解题技巧; 考虑到离散数学是计算机专业的核心课程, 专门设置了和章节内容相关的上机实验, 供学生练习。
本书知识结构严谨, 证明推理严密, 可作为普通高等学校计算机科学与技术、软件工程、网络工程等专业本科生离散数学课程的教材, 也可供其他专业学生和科技人员参考。
|
| 作者简介： |
|
|
| 章节目录： |
第1章 命题逻辑 1
1.1 命题 1
1.2 联结词 2
1.3 命题公式与翻译 7
1.4 真值表与等价公式 9
1.5 重言与蕴含 13
1.6 其他联结词与全功能集 15
1.7 对偶与范式 19
1.8 命题逻辑的推理 26
1.9 典型例题解析 31
上机实验1 命题演算的计算机实现 35
习题1 36
第2章 谓词逻辑 38
2.1 谓词与量词 38
2.2 谓词公式与翻译 41
2.3 变元的约束 43
2.4 谓词演算的等价式与蕴含式 45
2.5 前束范式 51
2.6 谓词演算的推理理论 53
2.7 典型例题解析 57
习题2 60
第3章 集合 65
3.1 集合的基本概念 65
3.2 集合的运算与性质 69
3.3 集合的划分与覆盖 74
3.4 集合中元素的计数 75
3.5 典型例题解析 77
上机实验2 编程实现任意两个集合的交、并、差和补运算 81
习题3 81
第4章 二元关系和函数 84
4.1 序偶与笛卡尔积 84
4.2 关系及其表示 87
4.3 关系的性质 89
4.4 关系的复合 92
4.5 逆关系 96
4.6 关系的闭包运算 98
4.7 等价关系与等价类 104
4.8 相容关系 108
4.9 偏序关系 110
4.10 函数及其性质 114
4.11 复合函数和逆函数 116
4.12 基数 120
4.13 可数集和不可数集 123
4.14 典型例题解析 124
上机实验3 关系及函数性质的判定 130
习题4 131
第5章 代数系统 133
5.1 代数系统的概念 133
5.2 运算及其性质 135
5.3 半群 142
5.4 群与子群 147
5.5 阿贝尔群、循环群与置换群 153
5.6 陪集与拉格朗日定理 157
5.7 代数系统的同态与同构 159
5.8 环与域 164
5.9 格与布尔代数 166
5.10 典型例题解析 171
习题5 173
第6章 图论导论 177
6.1 图的基本概念 177
6.2 图中的路与图的连通性 184
6.3 图的矩阵表示 189
6.4 典型例题解析 193
上机实验4 图的连通性判定 198
习题6 198
第7章 特殊的图 201
7.1 欧拉图 201
7.2 汉密尔顿图 206
7.3 二分图 212
7.4 平面图 215
7.5 图的着色 220
7.6 典型例题解析 224
上机实验5 特殊图形的判定 231
习题7 231
第8章 树及其应用 234
8.1 无向树与生成树 234
8.2 根树及其应用 239
8.3 典型例题解析 247
上机实验6 树的有关算法 249
习题8 249
第9章 组合数学基础 251
9.1 排列与组合 251
9.2 生成函数 255
9.3 递推关系 259
9.4 容斥原理 264
9.5 抽屉原理 269
9.6 典型例题解析 271
习题9 273
参考文献 276
|
| 精彩片段： |
|
|
| 书 评： |
|
|
| 其 它： |
|
|
|
中国大学出版社协会 |
首页 |
宏观指导 |
出版社天地 |
图书代办站 |
教材图书信息 |
教材图书评论 |
在线订购 |
教材征订
