微瑕离散数学及应用
￥ 14.7 3.5折 ￥ 42 全新
仅1件
作者单显明,潘月
出版社北京理工大学出版社
ISBN9787576308556
出版时间2022-01
版次1
装帧平装
开本16开
纸张胶版纸
页数207页
字数99999千字
定价42元
货号3221-9787576308556
上书时间2024-11-01
- 在售商品 暂无
- 平均发货时间 13小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 商品描述
-
基本信息
书名:离散数学及应用
定价：42元
作者:单显明,潘月
出版社：北京理工大学出版社
出版日期：2022-01-01
ISBN：9787576308556
字数：317000
页码：207
版次：
装帧：平装
开本：16开
商品重量：
编辑推荐
内容提要
本书对计算机类专业本科生最需要学习的离散数学基础知识进行了系统介绍，力求概念清晰，注重实际应用。全书共分7章，内容包括命题逻辑、谓词逻辑、集合论、关系、图、树和代数结构，并含有较多的与计算机类专业有关的例题、习题和实验题。 本书在内容的组织上，力求在培养学生抽象思维和逻辑推理能力的同时，注重展现离散数学在计算机类专业和信息科学中的应用。本书叙述简洁、深入浅出、注重实践和应用，主要面向普通高等院校计算机类专业的本科学生，也可以作为非计算机类专业学生的选修教材和计算机应用技术人员的自学参考书。
目录
章 命题逻辑 1.1 基本概念 1.1.1 命题及分类 1.1.2 逻辑联结词 1.2 命题公式及真值表 1.2.1 命题公式的定义 1.2.2 命题的符号化 1.2.3 命题公式的真值表 1.2.4 命题公式的类型 1.3 命题公式的等价演算 1.3.1 命题公式的等价式 1.3.2 命题公式的等价演算 1.3.3 等价演算的应用 1.4 命题公式的范式及应用 1.4.1 析取范式与合取范式 1.4.2 主析取范式与主合取范式 1.4.3 主范式的应用 1.5 基于命题的推理 1.5.1 推理的定义 1.5.2 直接证明法 1.5.3 间接证明法 1.6 本章习题第2章 谓词逻辑 2.1 基本概念 2.1.1 谓词逻辑三要素 2.1.2 多元谓词命题符号化 2.2 谓词公式及类型 2.2.1 谓词公式 2.2.2 谓词公式的类型 2.3 谓词公式的等价演算 2.4 谓词公式的前束范式 2.5 谓词公式的推理 2.6 本章习题第3章 集合论 3.1 基本概念 3.1.1 集合与元素 3.1.2 集合间的关系 3.1.3 幂集 3.2 集合的运算 3.2.1 集合的交与并 3.2.2 集合的差与补 3.2.3 集合的对称差 3.3 序偶与笛卡尔积 3.3.1 序偶 3.3.2 笛卡尔积 3.4 本章习题第4章 关系 4.1 基本概念 4.1.1 关系的定义 4.1.2 几种特殊的关系 4.1.3 关系的表示 4.2 关系的性质及其判定方法 4.2.1 关系的性质 4.2.2 关系性质的判定 4.3 复合关系和逆关系 4.3.1 复合关系 4.3.2 矩阵表示及图形表示 4.3.3 逆关系 4.4 关系的闭包运算 4.5 等价关系与相容关系 4.5.1 集合的划分和覆盖 4.5.2 等价关系与等价类 4.5.3 相容关系 4.6 偏序关系 4.6.1 定义 4.6.2 哈斯图 4.6.3 偏序集中特殊位置的元素 4.6.4 两种特殊的偏序集 4.7 本章习题第5章 图 5.1 基本概念 5.1.1 图的定义及相关概念 5.1.2 节点的度 5.1.3 完全图和补图 5.1.4 子图与图的同构 5.2 图的连通性 5.2.1 哥尼斯堡七桥问题 5.2.2 通路和回路 5.2.3 图的连通性 5.2.4 无向图的连通度 5.3 图的矩阵表示 5.3.1 无向图的关联矩阵 5.3.2 有向图的关联矩阵 5.3.3 有向图的邻接矩阵 5.3.4 有向图的可达矩阵 5.4 最短路径与关键路径 5.4.1 问题的提出 5.4.2 最短路径 5.4.3 关键路径 5.5 欧拉图与汉密尔顿图 5.5.1 欧拉图 5.5.2 欧拉图应用 5.5.3 汉密尔顿图 5.5.4 汉密尔顿图应用 5.6 平面图 5.6.1 平面图的定义 5.6.2 欧拉公式 5.6.3 平面图着色 5.7 本章习题第6章 树 6.1 树与生成树 6.1.1 无向树 6.1.2 无向图中的生成树与最小生成树 6.2 根树及其应用 6.2.1 有向树 6.2.2 m叉树 6.2.3 二叉树 6.2.4 叉树在计算机中的应用 6.3 本章习题第7章 代数结构 7.1 代数运算 7.1.1 基本概念 7.1.2 二元运算的性质 7.1.3 二元运算中的特殊元 7.2 代数系统 7.3 群 7.3.1 基本概念 7.3.2 幂运算 7.3.3 群的性质 7.4 子群与陪集 7.4.1 子群 7.4.2 陪集 7.4.3 正规子群与商群 7.4.4 群同态与同构 7.5 循环群、置换群 7.5.1 循环群 7.5.2 置换群 7.6 环与域 7.6.1 环 7.6.2 整环与域 7.7 格与布尔代数 7.7.1 格 7.7.2 几种特殊的格 7.7.3 布尔代数 7.8 本章习题参考文献
作者介绍
序言
-
【封面】
— 没有更多了 —
以下为对购买帮助不大的评价