中图网文创礼盒,买2个减5元
欢迎光临中图网 请 | 注册

离散数学及其应用

作者:孙志海
出版社:西安电子科技大学出版社出版时间:2023-06-01
开本: 其他 页数: 232
本类榜单:教材销量榜
中 图 价:¥27.0(7.5折) 定价  ¥36.0 登录后可看到会员价
加入购物车 收藏
运费6元,满69元免运费
?快递不能达地区使用邮政小包,运费14元起
云南、广西、海南、新疆、青海、西藏六省,部分地区快递不可达
本类五星书更多>

离散数学及其应用 版权信息

离散数学及其应用 本书特色

本书在内容编排上具有以下特点:
(1) 重点介绍离散数学*核心、*基础的内容,如命题逻辑、谓词逻辑、集合论、图论等,适合学生在一个学期内学习。
(2) 侧重概念的具体应用,弱化定理的抽象证明。
(3) 对于部分理论性过强、过于抽象的内容概括介绍。
(4) 各章均配有丰富的典型例题。
(5) 融入工程应用案例,有助于学生理解学与用之间的联系与差异。

离散数学及其应用 内容简介

本书依据编者多年的教学经验编写而成,着重介绍离散数学的基本概念、方法及应用。本书共5章,内容包括命题逻辑、谓词逻辑、集合论、图论以及离散数学的应用举例等。各章均配有典型例题,并对解题方法进行了系统分析与阐述。
本书侧重概念的具体应用,弱化了定理的抽象证明,简化了离散数学中部分理论性过强、过于抽象的内容,既可作为办学层次一般的普通高等院校计算机类专业的离散数学教材,也可供其他专业学生参考。

离散数学及其应用 目录

第1章 命题逻辑 1 1.1 命题和逻辑联结词 2 1.1.1 命题 2 1.1.2 逻辑联结词与命题符号化 4 1.2 命题公式及其真值表 13 1.2.1 命题公式 13 1.2.2 真值表 14 1.3 命题公式的等价演算 20 1.4 命题公式的范式 29 1.4.1 析取范式和合取范式 29 1.4.2 标准析取范式和标准合取范式 32 1.4.3 利用真值表法求解标准范式 37 1.4.4 标准析取范式和标准合取范式的关系 40 1.5 联结词的完备集 48 1.6 命题公式的推理演算 54 1.6.1 命题公式推理演算的基本概念 55 1.6.2 命题逻辑的演绎推理方法 60 1.6.3 附加前提法 63 1.6.4 归谬法 66 本章小结 70 第2章 谓词逻辑 71 2.1 个体词、谓词与量词 71 2.1.1 个体词与谓词 71 2.1.2 量词 74 2.2 谓词公式及其解释 79 2.2.1 谓词公式 79 2.2.2 谓词公式的解释 82 2.3 谓词公式的等价演算 86 2.4 谓词公式前束范式 90 2.5 谓词公式的推理演算 94 2.5.1 谓词公式推理演算的基本概念 94 2.5.2 谓词逻辑的演绎推理方法 96 本章小结 101 第3章 集合论 102 3.1 集合及其运算 102 3.1.1 集合的基本概念 102 3.1.2 集合的运算 104 3.1.3 集合的计算机表示 110 3.2 二元关系及其运算 114 3.2.1 笛卡儿积 114 3.2.2 二元关系及其表示 117 3.2.3 二元关系的运算 119 3.3 二元关系的性质与闭包 127 3.3.1 二元关系的性质 127 3.3.2 二元关系的闭包 130 3.4 等价关系与划分 136 3.5 偏序关系与拓扑排序 141 3.5.1 偏序关系 141 3.5.2 偏序关系中的特殊元 143 3.5.3 拓扑排序 145 3.6 函数 148 3.6.1 函数的基本概念 148 3.6.2 复合函数 150 3.6.3 逆函数 152 3.7 集合的等势与基数 155 本章小结 156 第4章 图论 157 4.1 图的基本概念 158 4.2 通路与回路 167 4.3 图的连通性 170 4.4 图的矩阵表示 176 4.5 欧拉图和哈密尔顿图 181 4.5.1 欧拉图 181 4.5.2 哈密尔顿图 184 4.5.3 *短路问题、中国邮递员问题与货郎担问题 185 4.6 树 186 4.6.1 无向树及其性质 186 4.6.2 生成树 189 4.6.3 根树 190 本章小结 196 第5章 离散数学的应用举例 197 5.1 命题逻辑、 集合论和图论的应用举例 197 5.1.1 命题逻辑的应用举例 197 5.1.2 集合论的应用举例 200 5.1.3 图论的应用举例 203 5.2 函数在机器视觉测量中的应用举例 208 5.3 集合运算在机器视觉测量中的应用举例 213 本章小结 218 附录A 综合练习一 219 附录B 综合练习二 221 参考文献 223
展开全部
商品评论(0条)
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
中图网
在线客服