消息首页搜索举报

正版现货新书离散数学 9787115551092 郝晓燕

全新正版现货，以书名为准，放心购买，购书咨询18931383650朱老师

31.47 6.3折 49.8 全新

库存33件

北京丰台

认证卖家担保交易快速发货售后保障

作者郝晓燕

出版社人民邮电出版社

ISBN9787115551092

出版时间2020-07

装帧平装

开本16开

定价49.8元

货号11032578

上书时间2024-10-08

黎明书店

十五年老店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 10小时
好评率暂无

最新上架

中小企业内部控制与风险管理(第3版) ¥17.82

湿地型组织：超越的逻辑与路径 ¥36.58

固体废弃物制备泡沫混凝土 ¥36.58

人性的证明(有声纪念版) ¥21.57

昆虫记 ¥27.67

《开心锤锤神秘大冒险>> ¥15.01

海燕 ¥21.11

东北解放战争发起地 ¥35.18

焦虑消除指南:走出焦虑、摆脱抑郁的自我训练手册 ¥18.67

商品详情

品相描述：全新

商品描述: 作者简介
郝晓燕，博士，副教授，硕士生导师。自1994年至今任职于太原理工大学信息与计算机学院，从事计算机科学与技术学科的教学工作及科研工作。主讲课程：《工程经济学》《离散数学》《数据结构》《面各对象程序设计C++》《数据库系统原理》《自然语言处理》。研究方向：计算语言学，自然语言处理，人工智能。社会兼职：中国计算机学会会员。

目录
第1章命题逻辑 1

§1-1 命题 1

§1-1-1 命题与真值 1

§1-1-2 原子命题与复合命题 2

§1-2 逻辑联结词 3

§1-2-1 否定联结词 3

§1-2-2 合取联结词 3

§1-2-3 析取联结词 4

§1-2-4 蕴含联结词 4

§1-2-5 等价联结词 5

§1-3 命题公式 5

§1-3-1 命题公式的概念 5

§1-3-2 命题符号化 6

§1-3-3 命题公式真值表 7

§1-3-4 命题公式的类型 9

§1-3-5 重言式的性质 9

§1-4 命题逻辑的等价关系 9

§1-4-1 等价 10

§1-4-2 基本等价式 10

§1-4-3 置换规则 11

§1-5 命题公式的标准化 13

§1-5-1 析取范式与合取范式 13

§1-5-2 主析取范式与主合取范式 14

§1-5-3 主范式的应用 16

§1-6 命题逻辑的蕴含关系 17

§1-6-1 蕴含 17

§1-6-2 证明蕴含关系的方法 17

§1-6-3 基本蕴含式 18

§1-7 命题逻辑的推理理论 18

§1-7-1 推理的有效性 18

§1-7-2 有效推理的判断方法 18

§1-7-3 自然推理系统 19

§1-7-4 自然推理系统中构造有效推理的方法 21

本章总结 23

习题 23

第2章谓词逻辑 25

§2-1 谓词逻辑命题符号化 25

§2-1-1 命题逻辑的局限性 25

§2-1-2 谓词逻辑三要素 25

§2-1-3 谓词逻辑命题符号化 27

§2-2 谓词公式 28

§2-2-1 谓词逻辑的合式公式 28

§2-2-2 闭式 28

§2-2-3 谓词公式的解释 29

§2-2-4 谓词逻辑的公式类型 30

§2-3 谓词逻辑的等价关系 31

§2-3-1 等价关系 31

§2-3-2 基本等价式 31

§2-4 谓词公式的标准化 32

§2-5 谓词逻辑的蕴含关系 33

§2-5-1 蕴含关系 33

§2-5-2 基本蕴含式 33

§2-6 谓词逻辑的推理理论 33

本章总结 35

习题 36

第3章集合 38

§3-1 集合的定义与表示方法 38

§3-1-1 集合的定义 38

§3-1-2 集合的表示方法 39

§3-2 集合之间的重要关系 40

§3-2-1 集合之间的重要关系 40

§3-2-2 特殊集合 40

§3-3 集合的运算 41

§3-3-1 集合的基本运算 41

§3-3-2 集合关系的证明方法 42

§3-3-3 笛卡儿积 43

本章总结 43

习题 44

第4章关系 46

§4-1 关系的概念及表示 46

§4-1-1 关系的概念 46

§4-1-2 关系的表示方法 47

§4-2 关系的性质 48

§4-2-1 自反性与反自反性 48

§4-2-2 对称性与反对称性 49

§4-2-3 传递性 50

§4-3 关系的运算 51

§4-3-1 关系的复合运算 51

§4-3-2 关系的逆运算 54

§4-3-3 关系的闭包运算 55

§4-4 等价关系与划分 56

§4-4-1 等价关系的概念 56

§4-4-2 等价类 57

§4-4-3 划分 58

§4-5 次序关系 58

§4-5-1 偏序关系 59

§4-5-2 其他次序关系 61

本章总结 61

习题 62

第5章函数 64

§5-1 函数的概念与性质 64

§5-1-1 函数的概念 64

§5-1-2 函数的性质 65

§5-2 函数的运算 66

§5-2-1 函数的复合运算 66

§5-2-2 函数的逆运算 66

§5-3 基数 67

§5-3-1 基数的概念 67

§5-3-2 基数的比较 67

本章总结 69

习题 69

第6章代数结构 71

§6-1 代数系统的概念 71

§6-2 代数系统的运算及其性质 72

§6-2-1 二元运算的性质 73

§6-2-2 小结 76

§6-3 半群与含幺半群 76

§6-3-1 半群和子半群 76

§6-3-2 含幺半群和子含幺半群 78

§6-4 群与子群 79

§6-4-1 群 80

§6-4-2 子群 82

§6-5 交换群、循环群与置换群 84

§6-5-1 交换群 84

§6-5-2 循环群 85

§6-5-3 置换群 86

§6-6 陪集与拉格朗日定理 88

§6-6-1 陪集 88

§6-6-2 拉格朗日定理 89

§6-6-3 正规子群 90

§6-7 同态与同构 90

§6-7-1 同态 91

§6-7-2 同构 91

§6-7-3 同余关系 94

§6-8 环与域 95

§6-8-1 环 96

§6-8-2 域 97

本章总结 99

习题 100

第7章格与布尔代数 103

§7-1 格 103

§7-1-1 格的概念 103

§7-1-2 格的性质 105

§7-2 分配格 109

§7-3 有补格 110

§7-4 布尔代数 112

本章总结 114

习题 114

第8章图论及其应用 117

§8-1 图的基本概念 117

§8-1-1 图 117

§8-1-2 结点的度 119

§8-1-3 图的同构 119

§8-1-4 子图和补图 121

§8-2 图的连通性 122

§8-2-1 路径与回路 122

§8-2-2 连通图 122

§8-3 图的矩阵表示 124

§8-3-1 图的邻接矩阵 124

§8-3-2 图的可达矩阵 126

§8-4 特殊图 128

§8-4-1 欧拉图 128

§8-4-2 哈密顿图 130

§8-4-3 二部图 132

§8-4-4 平面图 134

§8-5 图的应用 136

§8-5-1 图的应用示例 136

§8-5-2 特殊图的应用 138

本章总结 140

习题 140

第9章树 144

§9-1 无向树 144

§9-1-1 基本概念 144

§9-1-2 最小生成树及其应用 146

§9-2 有向树 148

§9-2-1 基本概念 148

§9-2-2 有序树 149

§9-2-3 m叉树 151

§9-3 二叉树 153

§9-3-1 基本概念 153

§9-3-2 最优树 154

本章总结 156

习题 157

附录习题参考答案 158

参考文献 192

内容摘要
本书介绍计算机相关专业必需的离散数学基础知识，包括离散数学4大分支的基础理论——数理逻辑、集合论、代数系统和图论。全书共9章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用、树。本书包含较多的与计算机科学和工程有关的例题和习题。本书适合作为高等院校计算机科学与技术、软件工程等相关专业的教材。

主编推荐
本书特色表现在以下四个方面。，加深理论，注重实践。大多数离散数学的教材，只注重经典的数学理论和解题，没有联系生产实践，学习者感觉理论抽象、枯燥。本书结合计算机专业的学习特点，在相应章节的例题或课后习题中编排了将离散结构理论与实际工程问题相结合的题目，并给出解决方案。第二，突破经典，勇于发现。根据多年的教学实践和体会，编者在书中中总结了一些共性问题和有争议性的问题，对这些问题做了个人观点的阐述，抛砖引玉鼓励学习者继续深入研究和探讨。第三，明确关系，理清脉络。本书包括数理逻辑、集合论、图论、代数结构四大部分，这四部分内容既自成理论体系，又有密切的联系，在每部分内容的讲授之前，简明阐述理论的起源、发展以及和其他理论之间的相互关系，使学习者感觉脉络清晰。第四，突出重点，圈定难点。具体到每一章都总结出本章学习的难点和重点，并指明应掌握的基本概念和解题的技巧。

精彩内容
离散数学是计算机相关专业的主干课程之一。本书将理论紧密联系实际，摒弃了一些烦琐的定理证明，从工程实际出发，引入工程案例和解决方案，注重提升学生的应用模拟解题技巧，力求做到脉络清晰，重点突出，精讲多练，实用有效，从而培养学生的抽象思维和缜密概括能力。

本书内容包括离散数学4大分支的基础理论——数理逻辑、集合论、代数系统和图论。全书共9章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用、树。全书包含较多的与计算机科学和工程有关的例题和习题。

本书适合作为高等院校计算机科学与技术、软件工程等相关专业的教材。

媒体评论
本书特色表现在以下四个方面。
第一，加深理论，注重实践。大多数离散数学的教材，只注重经典的数学理论和解题，没有联系生产实践，学习者感觉理论抽象、枯燥。本书结合计算机专业的学习特点，在相应章节的例题或课后习题中编排了将离散结构理论与实际工程问题相结合的题目，并给出解决方案。
第二，突破经典，勇于发现。根据多年的教学实践和体会，编者在书中中总结了一些共性问题和有争议性的问题，对这些问题做了个人观点的阐述，抛砖引玉鼓励学习者继续深入研究和探讨。
第三，明确关系，理清脉络。本书包括数理逻辑、集合论、图论、代数结构四大部分，这四部分内容既自成理论体系，又有密切的联系，在每部分内容的讲授之前，简明阐述理论的起源、发展以及和其他理论之间的相互关系，使学习者感觉脉络清晰。
第四，突出重点，圈定难点。具体到每一章都总结出本章学习的难点和重点，并指明应掌握的基本概念和解题的技巧。