孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

离散数学

离散数学
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: , ,
出版社: 机械工业出版社
2021-08
版次: 1
ISBN: 9787111678205
定价: 79.00
装帧: 其他
开本: 16开
纸张: 胶版纸
字数: 250千字
分类: 教材教辅考试>教材>大学教材>工程技术
15人买过
  • 本书针对本科离散数学课程的要点和关键问题，深入浅出地介绍了数理逻辑、集合论、图论、代数结构和布尔代数、网络模型、组合数学理论和算法等与计算机科学密切相关的问题，既着重于各部分内容之间的紧密联系，又深入探讨各部分内容的概念、理论、算法和实际应用，本书叙述严谨，推演详尽。各章配有习题，可为读者迅速掌握有关知识提供有效的帮助。 前言

    第1章　命题逻辑1

    　1.1　引言1

    　1.2　命题与命题联结词1

    　　1.2.1　命题的概念1

    　　1.2.2　命题标识符和命题分类3

    　　1.2.3　命题联结词3

    　1.3　翻译、命题公式和真值表7

    　　1.3.1　翻译7

    　　1.3.2　命题公式9

    　　1.3.3　真值情况和真值表10

    　1.4　永真式、永假式和等价关系12

    　1.5　等价式和蕴涵式14

    　　1.5.1　等价公式14

    　　1.5.2　等价定律公式14

    　　1.5.3　子公式15

    　　1.5.4　证明两个公式等价的方法16

    　　1.5.5　蕴涵式19

    　　1.5.6　永真蕴涵关系的判断20

    　1.6　其他联结词22

    　　1.6.1　其他联结词的定义22

    　　1.6.2　与非联结词↑的性质23

    　　1.6.3　或非联结词↓的性质23

    　　1.6.4　异或联结词的性质24

    　　1.6.5　小联结词组25

    　1.7　对偶与范式26

    　　1.7.1　对偶27

    　　1.7.2　范式29

    　　1.7.3　主析取范式31

    　　1.7.4　主合取范式35

    　　1.7.5　主范式的应用37

    　1.8　命题演算的推理理论39

    　　1.8.1　推理的基本概念39

    　　1.8.2　判断有效结论的方法和规则41

    　本章习题48

    第2章　谓词逻辑53

    　2.1　谓词的基本概念53

    　2.2　个体、谓词及表达式54

    　2.3　命题函数57

    　2.4　量词59

    　2.5　谓词公式与翻译62

    　　2.5.1　谓词公式62

    　　2.5.2　谓词逻辑的翻译63

    　2.6　变元的约束65

    　2.7　谓词公式的永真式、永假式、等价式和蕴涵式68

    　　2.7.1　判定方法和基本公式69

    　　2.7.2　谓词等价式和蕴涵式70

    　　2.7.3　谓词公式的范式72

    　　2.7.4　多个量词的使用74

    　2.8　谓词演算的推理理论76

    　　2.8.1　4个与量词有关的推理规则76

    　　2.8.2　谓词逻辑中推理的论证78

    　　2.8.3　演算中常见的错误83

    　本章习题84

    第3章　集合及其运算86

    　3.1　集合的概念与表示86

    　　3.1.1　集合的概念86

    　　3.1.2　集合的表示87

    　　3.1.3　集合的相等或包含关系88

    　　3.1.4　集合的基数90

    　3.2　集合的运算90

    　3.3　基本的集合运算律93

    　3.4　包含排斥原理99

    　本章习题103

    第4章　二元关系105

    　4.1　序偶和笛卡儿乘积105

    　4.2　关系及其表示108

    　4.3　复合关系和逆关系112

    　4.4　关系的性质118

    　4.5　关系的闭包124

    　4.6　等价关系132

    　4.7　序关系135

    　本章习题139

    第5章　函数141

    　5.1　函数的概念141

    　5.2　函数的类型143

    　5.3　复合函数147

    　5.4　逆函数149

    　本章习题153

    第6章　代数结构155

    　6.1　代数系统的一般概念155

    　6.2　代数系统的运算性质157

    　6.3　代数系统的同态和同构164

    　6.4　半群和独异点168

    　6.5　子半群和子独异点172

    　6.6　群和子群173

    　6.7　交换群和循环群181

    　6.8　子群的陪集及拉格朗日定理184

    　6.9　置换群188

    　6.10　环和域190

    　本章习题196

    第7章　格和布尔代数199

    　7.1　格的基本概念199

    　7.2　格的基本性质202

    　7.3　几种特殊的格207

    　7.4　有界格和有补格212

    　7.5　布尔代数214

    　本章习题216

    第8章　图论219

    　8.1　图的基本定义及相关术语219

    　　8.1.1　图的概念219

    　　8.1.2　图的边点之间的关系221

    　　8.1.3　图的分类222

    　8.2　结点的度数及其计算224

    　8.3　子图、补图和图的同构227

    　　8.3.1　子图的概念227

    　　8.3.2　补图的概念229

    　　8.3.3　图的同构概念230

    　8.4　通路、回路和连通性232

    　　8.4.1　通路和回路的概念232

    　　8.4.2　简单有向图的连通性235

    　　8.4.3　无向图的连通性238

    　8.5　图的矩阵表示241

    　　8.5.1　无向图与有向图的关联矩阵241

    　　8.5.2　图的邻接矩阵242

    　　8.5.3　有向图的可达矩阵244

    　8.6　欧拉图与哈密顿图245

    　　8.6.1　欧拉图245

    　　8.6.2　哈密顿图251

    　8.7　路径和关键路径257

    　　8.7.1　路径的概念257

    　　8.7.2　路径在实际中的应用259

    　　8.7.3　欧拉图的应用——中国邮路问题259

    　　8.7.4　哈密顿回路和货郎担问题260

    　8.8　平面图262

    　　8.8.1　平面图的概念262

    　　8.8.2　平面图的面263

    　　8.8.3　平面图的判定264

    　8.9　对偶与着色269

    　　8.9.1　对偶的基本概念269

    　　8.9.2　平面图的对偶图的做法269

    　　8.9.3　对偶图的性质270

    　　8.9.4　图的着色271

    　　8.9.5　地图的着色与平面图的点着色272

    　本章习题273

    第9章　树277

    　9.1　无向树及其性质277

    　　9.1.1　树的基本概念277

    　　9.1.2　无向树的性质277

    　9.2　生成树和小生成树280

    　9.3　有向树、根树和二叉树285

    　　9.3
  • 内容简介:
    本书针对本科离散数学课程的要点和关键问题，深入浅出地介绍了数理逻辑、集合论、图论、代数结构和布尔代数、网络模型、组合数学理论和算法等与计算机科学密切相关的问题，既着重于各部分内容之间的紧密联系，又深入探讨各部分内容的概念、理论、算法和实际应用，本书叙述严谨，推演详尽。各章配有习题，可为读者迅速掌握有关知识提供有效的帮助。
  • 目录:
    前言

    第1章　命题逻辑1

    　1.1　引言1

    　1.2　命题与命题联结词1

    　　1.2.1　命题的概念1

    　　1.2.2　命题标识符和命题分类3

    　　1.2.3　命题联结词3

    　1.3　翻译、命题公式和真值表7

    　　1.3.1　翻译7

    　　1.3.2　命题公式9

    　　1.3.3　真值情况和真值表10

    　1.4　永真式、永假式和等价关系12

    　1.5　等价式和蕴涵式14

    　　1.5.1　等价公式14

    　　1.5.2　等价定律公式14

    　　1.5.3　子公式15

    　　1.5.4　证明两个公式等价的方法16

    　　1.5.5　蕴涵式19

    　　1.5.6　永真蕴涵关系的判断20

    　1.6　其他联结词22

    　　1.6.1　其他联结词的定义22

    　　1.6.2　与非联结词↑的性质23

    　　1.6.3　或非联结词↓的性质23

    　　1.6.4　异或联结词的性质24

    　　1.6.5　小联结词组25

    　1.7　对偶与范式26

    　　1.7.1　对偶27

    　　1.7.2　范式29

    　　1.7.3　主析取范式31

    　　1.7.4　主合取范式35

    　　1.7.5　主范式的应用37

    　1.8　命题演算的推理理论39

    　　1.8.1　推理的基本概念39

    　　1.8.2　判断有效结论的方法和规则41

    　本章习题48

    第2章　谓词逻辑53

    　2.1　谓词的基本概念53

    　2.2　个体、谓词及表达式54

    　2.3　命题函数57

    　2.4　量词59

    　2.5　谓词公式与翻译62

    　　2.5.1　谓词公式62

    　　2.5.2　谓词逻辑的翻译63

    　2.6　变元的约束65

    　2.7　谓词公式的永真式、永假式、等价式和蕴涵式68

    　　2.7.1　判定方法和基本公式69

    　　2.7.2　谓词等价式和蕴涵式70

    　　2.7.3　谓词公式的范式72

    　　2.7.4　多个量词的使用74

    　2.8　谓词演算的推理理论76

    　　2.8.1　4个与量词有关的推理规则76

    　　2.8.2　谓词逻辑中推理的论证78

    　　2.8.3　演算中常见的错误83

    　本章习题84

    第3章　集合及其运算86

    　3.1　集合的概念与表示86

    　　3.1.1　集合的概念86

    　　3.1.2　集合的表示87

    　　3.1.3　集合的相等或包含关系88

    　　3.1.4　集合的基数90

    　3.2　集合的运算90

    　3.3　基本的集合运算律93

    　3.4　包含排斥原理99

    　本章习题103

    第4章　二元关系105

    　4.1　序偶和笛卡儿乘积105

    　4.2　关系及其表示108

    　4.3　复合关系和逆关系112

    　4.4　关系的性质118

    　4.5　关系的闭包124

    　4.6　等价关系132

    　4.7　序关系135

    　本章习题139

    第5章　函数141

    　5.1　函数的概念141

    　5.2　函数的类型143

    　5.3　复合函数147

    　5.4　逆函数149

    　本章习题153

    第6章　代数结构155

    　6.1　代数系统的一般概念155

    　6.2　代数系统的运算性质157

    　6.3　代数系统的同态和同构164

    　6.4　半群和独异点168

    　6.5　子半群和子独异点172

    　6.6　群和子群173

    　6.7　交换群和循环群181

    　6.8　子群的陪集及拉格朗日定理184

    　6.9　置换群188

    　6.10　环和域190

    　本章习题196

    第7章　格和布尔代数199

    　7.1　格的基本概念199

    　7.2　格的基本性质202

    　7.3　几种特殊的格207

    　7.4　有界格和有补格212

    　7.5　布尔代数214

    　本章习题216

    第8章　图论219

    　8.1　图的基本定义及相关术语219

    　　8.1.1　图的概念219

    　　8.1.2　图的边点之间的关系221

    　　8.1.3　图的分类222

    　8.2　结点的度数及其计算224

    　8.3　子图、补图和图的同构227

    　　8.3.1　子图的概念227

    　　8.3.2　补图的概念229

    　　8.3.3　图的同构概念230

    　8.4　通路、回路和连通性232

    　　8.4.1　通路和回路的概念232

    　　8.4.2　简单有向图的连通性235

    　　8.4.3　无向图的连通性238

    　8.5　图的矩阵表示241

    　　8.5.1　无向图与有向图的关联矩阵241

    　　8.5.2　图的邻接矩阵242

    　　8.5.3　有向图的可达矩阵244

    　8.6　欧拉图与哈密顿图245

    　　8.6.1　欧拉图245

    　　8.6.2　哈密顿图251

    　8.7　路径和关键路径257

    　　8.7.1　路径的概念257

    　　8.7.2　路径在实际中的应用259

    　　8.7.3　欧拉图的应用——中国邮路问题259

    　　8.7.4　哈密顿回路和货郎担问题260

    　8.8　平面图262

    　　8.8.1　平面图的概念262

    　　8.8.2　平面图的面263

    　　8.8.3　平面图的判定264

    　8.9　对偶与着色269

    　　8.9.1　对偶的基本概念269

    　　8.9.2　平面图的对偶图的做法269

    　　8.9.3　对偶图的性质270

    　　8.9.4　图的着色271

    　　8.9.5　地图的着色与平面图的点着色272

    　本章习题273

    第9章　树277

    　9.1　无向树及其性质277

    　　9.1.1　树的基本概念277

    　　9.1.2　无向树的性质277

    　9.2　生成树和小生成树280

    　9.3　有向树、根树和二叉树285

    　　9.3
查看详情
相关分类
一年级 二年级 三年级 四年级 五年级 六年级 小升初 小学通用 初一 初二 初三 中考 初中通用 高一
相关图书 / 更多
离散数学
离散数学解题指导（第3版）
贲可荣；袁景凌；谢茜
￥19.70 起
离散数学
离散数学（第二版）
古天龙；徐周波；常亮
￥20.40 起
离散数学
离散数学（第二版）
邹丽娜；董丽薇
￥5.50 起
离散数学
离散数学(第2版)
蔡之华
￥25.28 起
离散数学
离散数学学习指导与习题解析
王庆先 顾小丰 王丽杰
￥20.00 起
离散数学
离散与组合数学手册：第二版（上下）英文
[美]肯尼斯·H.罗森(Kenneth；H.Rosen
￥24.80 起
离散数学
离散数学
胡新启；季霞；杨志坚
￥17.85 起
离散数学
离散与计算几何手册——第三版（上中下）英文
[美]雅各布·E.古德曼（Jacob E.Goodman）；[美]约瑟夫·奥罗克；[美]乔鲍·D.托特
￥74.40 起
离散数学
离散数学及其应用
孙志海
￥13.30 起
离散数学
离散数学/成人高等教育教材
陈启浩 陈启浩
￥5.00 起
离散数学
离散数学
张淑丽 主编；张晓晶 马超 谢孔峰 副主编
￥19.60 起
离散数学
离散数学习题解答与学习指导（第4版）
屈婉玲；刘田；耿素云；张立昂
￥17.43 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全