本书介绍了离散数学基础知识和应用方法，全书共分为4篇，第1篇为数理逻辑，内容包括命题逻辑和一阶逻辑；第2篇为集合论，内容包括集合、二元关系和函数；第3篇为代数系统，内容包括代数结构和格与布尔代数；第4篇为图论，内容包括图的基本概念及表示、几类重要的图和树。 本书在内容安排上，突出由浅入深、循序渐进、通俗易懂的特点，各章配备了大量的例题，其内容与计算机科学的理论与实践密切结合，便于自学。本书适合作
电子书
内容简介
本书从应用的角度介绍离散数学。全书共分6章，分别是命题逻辑、谓词逻辑、集合与关系、代数结构、图和有向图。全书体系严谨，内容讲解深入浅出，并配有大量与计算机科学相关的有实际背景的例题和习题。在每章最后增加了上机作业，可增强学生对课堂教学内容的理解和掌握，提高学生的学习兴趣和动手能力。全书以二维码的形式提供了教学视频，有利于教师进行线上线下混合式教学，帮助学生更好地学习、理解和应用离散数学理论。本书可作为普通高等学校计算机科学与技术或相关专业的本科生教材。
章节目录
- 第1章 命 题 逻 辑
- 1.1 命题和逻辑连接词
- 1.1.1 命题
- 1.1.2 逻辑连接词与命题符号化
- 习题1.1
- 1.2 命题公式及其真值表
- 1.2.1 命题公式
- 1.2.2 真值表
- 习题1.2
- 1.3 命题公式的等价演算
- 习题1.3
- 1.4 命题公式的范式
- 1.4.1 析取范式与合取范式
- 1.4.2 标准析取范式和标准合取范式
- 1.4.3 利用真值表求解标准范式
- 1.4.4 标准析取范式和标准合取范式的关系
- 习题1.4
- 1.5 命题公式的推理演算
- 1.5.1 基本概念
- 1.5.2 演绎推理方法
- 习题1.5
- 1.6 逻辑门电路
- 1.6.1 门电路
- 1.6.2 逻辑电路设计
- 习题1.6
- 1.7 本章小结
- 上机练习
- 第2章 谓 词 逻 辑
- 2.1 个体词、谓词与量词
- 2.1.1 个体词与谓词
- 2.1.2 量词
- 习题2.1
- 2.2 谓词公式及其解释
- 2.2.1 谓词公式
- 2.2.2 谓词公式的解释
- 习题2.2
- 2.3 谓词公式的等价演算
- 习题2.3
- 2.4 谓词公式的推理演算
- 2.4.1 基本概念
- 2.4.2 演绎推理方法
- 习题2.4
- 2.5 本章小结
- 上机练习
- 第3章 集合与关系
- 3.1 集合及其运算
- 3.1.1 基本概念
- 3.1.2 集合的运算
- 3.1.3 集合的计算机表示
- 习题3.1
- 3.2 二元关系及其运算
- 3.2.1 笛卡儿积
- 3.2.2 二元关系及其表示
- 3.2.3 二元关系的运算
- 习题3.2
- 3.3 二元关系的性质与闭包
- 3.3.1 二元关系的性质
- 3.3.2 二元关系的闭包
- 习题3.3
- 3.4 等价关系与划分
- 习题3.4
- 3.5 偏序关系与拓扑排序
- 3.5.1 偏序关系
- 3.5.2 偏序集中的特殊元
- 3.5.3 拓扑排序
- 习题3.5
- 3.6 函 数
- 3.6.1 基本概念
- 3.6.2 复合函数
- 3.6.3 逆函数
- 3.6.4 几个特殊的函数
- 习题3.6
- 3.7 集合的等势与基数
- 习题3.7
- 3.8 多元关系及其应用
- 3.8.1 多元关系
- 3.8.2 关系数据库
- 3.8.3 检索
- 3.8.4 插入、删除与修改
- 习题3.8
- 3.9 本章小结
- 上机练习
- 第4章 代 数 结 构
- 4.1 代数运算
- 4.1.1 基本概念
- 4.1.2 二元运算的性质
- 4.1.3 二元运算中的特殊元
- 习题4.1
- 4.2 代数系统
- 习题4.2
- 4.3 群
- 4.3.1 基本概念
- 4.3.2 幂运算
- 4.3.3 群的性质
- 习题4.3
- 4.4 子群与陪集
- 4.4.1 子群
- 4.4.2 陪集
- 4.4.3 正规子群与商群
- 4.4.4 群同态与同构
- 习题4.4
- 4.5 循环群、置换群
- 4.5.1 循环群
- 4.5.2 置换群
- 习题4.5
- 4.6 环与域
- 4.6.1 环
- 4.6.2 整环与域
- 习题4.6
- 4.7 格与布尔代数
- 4.7.1 格
- 4.7.2 几种特殊的格
- 4.7.3 布尔代数
- 习题4.7
- 4.8 本章小结
- 上机练习
- 第5章 图
- 5.1 基本概念
- 5.1.1 图的定义
- 5.1.2 顶点的度数
- 习题5.1
- 5.2 图的连通性
- 5.2.1 通路
- 5.2.2 连通图
- 习题5.2
- 5.3 树
- 5.3.1 基本概念
- 5.3.2 生成树
- 习题5.3
- 5.4 图的遍历
- 5.4.1 图的矩阵表示
- 5.4.2 广度优先搜索
- 5.4.3 深度优先搜索
- 5.4.4 最小生成树
- 习题5.4
- 5.5 欧拉图与哈密顿图
- 5.5.1 欧拉图
- 5.5.2 哈密顿图
- 5.5.3 旅行商问题
- 习题5.5
- 5.6 平面图及图的着色
- 5.6.1 平面图
- 5.6.2 图的着色
- 习题5.6
- 5.7 本章小结
- 上机练习
- 第6章 有 向 图
- 6.1 有向图概述
- 6.1.1 基本概念
- 6.1.2 有向图的连通性
- 6.1.3 有向图的矩阵表示
- 习题6.1
- 6.2 最短通路
- 6.2.1 迪杰斯特拉算法
- 6.2.2 弗洛伊德算法
- 6.2.3 中国邮递员问题
- 习题6.2
- 6.3 根树
- 6.3.1 基本概念
- 6.3.2 二叉搜索树
- 6.3.3 最优二叉树
- 习题6.3
- 6.4 网络流
- 6.4.1 基本概念
- 6.4.2 最大流算法
- 6.4.3 最大流最小割定理
- 习题6.4
- 6.5 匹配
- 习题6.5
- 6.6 本章小结
- 上机练习
- 参 考 文 献
展开全部
应用离散数学是2021年由人民邮电出版社出版,作者周丽。
温馨提示：
1.本电子书已获得正版授权，由出版社通过知传链发行。
2.该电子书为虚拟物品，付费之后概不接收任何理由退款。电子书内容仅支持在线阅读，不支持下载。
3.您在本站购买的阅读使用权仅限于您本人阅读使用，您不得/不能给任何第三方使用，由此造成的一切相关后果本平台保留向您追偿索赔的权利！版权所有，后果自负！
得书感谢您对《应用离散数学》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
电子书
电子书
本书介绍计算机相关专业必需的离散数学基础知识，包括离散数学4大分支的基础理论——数理逻辑、集合论、代数系统和图论。全书共9章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用、树。本书包含较多的与计算机科学和工程有关的例题和习题。
电子书
本书共10章，介绍了数理逻辑、集合与关系、图论，以及代数系统与布尔代数中的基本概念、算法、定理及其证明方法。本书不仅注重基本概念的描述，还特别注重阐述有关离散数学的证明方法及离散数学问题求解的算法，并且举出大量的应用实例。
电子书
离散数学是现代数学的一个重要分支，是计算机和软件科学理论的基础。本书是针对“碎片化”教学和“翻转课堂”教学模式改革编写的新型教材，共包括4个方面的内容：基础知识，逻辑，关系与函数，图与树。每部分都包含大量习题，并在书末附有部分习题的参考答案。本书着重讲解离散数学的基本概念、基本方法及应用，内容精练、语言流畅、习题丰富，可作为高等院校计算机或软件工程专业不同方向、采用“翻转课堂”教学模式“离散数学”
电子书
本书是与同济大学数学系编写的《高等数学》（ISBN 978-7-115-42640-6，人民邮电出版社出版）配套的学习辅导书．全书按照教育部大学数学教学指导委员会的基本要求，充分吸取当前高等数学教材辅导书的精华，并结合数年来的教学实践经验，针对当今学生的知识结构和习惯特点编写．全书分为上下两册．本书为下册，是多元函数微积分部分，一共有四章，主要内容包括向量与空间解析几何，多元函数微分学，多元函数积
电子书
本书以培养读者的实际应用能力为出发点，以项目为核心，按照项目要求、相关知识、项目实施及拓展知识的体系结构，系统介绍现代汽车底盘机械系统的组成、工作原理、故障诊断及排除方法，具体包括离合器、手动变速器、万向传动装置、驱动桥、车桥和轮胎、悬架、转向系及制动系等装置。
电子书
一部LaTeX入门学习者的简明教程，同时也是LaTeX日常使用者的参阅手册。
电子书
五大维度、17个专题，300多家案例，实战剖析数字化酒店新业态、新模式与新玩法，为酒店数字化、网络化、智能化提供操作指导。
