本书从应用的角度介绍离散数学。全书共分6章，分别是命题逻辑、谓词逻辑、集合与关系、代数结构、图和有向图。全书体系严谨，内容讲解深入浅出，并配有大量与计算机科学相关的有实际背景的例题和习题。在每章最后增加了上机作业，可增强学生对课堂教学内容的理解和掌握，提高学生的学习兴趣和动手能力。全书以二维码的形式提供了教学视频，有利于教师进行线上线下混合式教学，帮助学生更好地学习、理解和应用离散数学理论。本书可
电子书
内容简介
本书介绍了离散数学基础知识和应用方法，全书共分为4篇，第1篇为数理逻辑，内容包括命题逻辑和一阶逻辑；第2篇为集合论，内容包括集合、二元关系和函数；第3篇为代数系统，内容包括代数结构和格与布尔代数；第4篇为图论，内容包括图的基本概念及表示、几类重要的图和树。 本书在内容安排上，突出由浅入深、循序渐进、通俗易懂的特点，各章配备了大量的例题，其内容与计算机科学的理论与实践密切结合，便于自学。本书适合作为普通高等院校计算机类专业本科生的教材，也可供计算机专业的科技人员使用或参考。
章节目录
- 封面
- 书名页
- 版权页
- 前言
- 目录
- 第1篇 数理逻辑
- 第1章 命题逻辑
- 1.1 命题逻辑的基本概念
- 1.1.1 命题
- 1.1.2 联结词
- 1.2 命题公式及其分类
- 1.2.1 合式公式及层次
- 1.2.2 真值赋值及公式分类
- 1.3 真值表和真值函数
- 1.3.1 真值表
- 1.3.2 真值函数
- 1.4 等值式与等值演算
- 1.5 联结词完备集
- 1.6 范式
- 1.7 命题逻辑的推理理论
- 1.7.1 推理的形式结构
- 1.7.2 自然推理系统P
- 习题
- 第2章 一阶逻辑
- 2.1 谓词与量词
- 2.2 一阶语言
- 2.2.1 一阶语言的定义
- 2.2.2 解释和赋值
- 2.2.3 公式的分类
- 2.3 一阶逻辑的等值演算
- 2.3.1 等值演算
- 2.3.2 前束范式
- 2.4.1 推理定律
- 2.4.2 推理规则
- 习题
- 第2篇 集合论
- 第3章 集合
- 3.1 集合的概念及其表示
- 3.2 集合的基本运算
- 3.3 有限集计数问题
- 习题
- 第4章 二元关系
- 4.1 有序对与笛卡儿积
- 4.2 二元关系及其表示
- 4.3 二元关系的性质
- 4.4 二元关系的运算
- 4.4.1 关系的基本运算
- 4.4.2 关系的闭包
- 4.4.3 闭包的复合
- 4.5 特殊关系及其性质
- 4.5.1 等价关系
- 4.5.2 相容关系
- 4.5.3 序关系
- 习题
- 第5章 函数
- 5.1 函数的基本概念
- 5.2 逆函数与复合函数
- 5.2.1 逆函数
- 5.2.2 复合函数
- 习题
- 第3篇 代数系统
- 第6章 代数结构
- 6.1 代数系统的基本概念
- 6.1.1 代数运算
- 6.2 代数运算的性质
- 6.2.1 基本性质
- 6.2.2 特殊元素
- 6.3 相互联系的代数系统
- 6.3.1 同构代数系统
- 6.3.2 同态代数系统
- 6.4 半群与群
- 6.4.1 半群与含幺半群
- 6.4.2 特殊群
- 6.5 环与域
- 6.5.1 环
- 6.5.2 域
- 习题
- 第7章 格与布尔代数
- 7.1 格的定义与性质
- 7.1.1 格的定义
- 7.1.2 格的另一定义
- 7.1.3 格的性质
- 7.1.4 子格
- 7.1.5 格的同态与同构
- 7.2 几种特殊的格
- 7.2.1 分配格
- 7.2.2 模格
- 7.2.3 有界格
- 7.2.4 有补格
- 7.3 布尔代数
- 7.3.1 布尔代数的定义
- 7.3.2 布尔表达式
- 习题
- 第4篇 图论
- 第8章 图的基本概念及表示
- 8.1 图的基本概念
- 8.1.1 图
- 8.1.3 完全图
- 8.1.4 图的同构
- 8.2 图的运算
- 8.2.1 基本运算
- 8.2.2 补运算
- 8.2.3 子图
- 8.3 路径与图的连通性
- 8.3.1 路径
- 8.3.2 图的连通性
- 8.4 图的矩阵表示
- 8.4.1 图的邻接矩阵
- 8.4.2 图的关联矩阵
- 8.4.3 图的可达矩阵
- 习题
- 第9章 几类重要的图
- 9.1 欧拉图
- 9.2 汉密尔顿图
- 9.3 二分图与匹配
- 9.3.1 二分图
- 9.3.2 二分图的匹配
- 9.4 平面图与图的着色
- 9.4.1 平面图及其性质
- 9.4.2 平面图的判定
- 习题
- 第10章 树
- 10.1 树的基本概念与性质
- 10.1.1 树的基本概念
- 10.1.2 树的性质
- 10.2 生成树
- 10.3 根树
- 习题
- 参考文献
- 书脊
- 封底
展开全部
离散数学是2019年由中国铁道出版社出版,作者任长安,罗丹霞。
温馨提示：
1.本电子书已获得正版授权，由出版社通过知传链发行。
2.该电子书为虚拟物品，付费之后概不接收任何理由退款。电子书内容仅支持在线阅读，不支持下载。
3.您在本站购买的阅读使用权仅限于您本人阅读使用，您不得/不能给任何第三方使用，由此造成的一切相关后果本平台保留向您追偿索赔的权利！版权所有，后果自负！
得书感谢您对《离散数学》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
电子书
电子书
本书介绍计算机相关专业必需的离散数学基础知识，包括离散数学4大分支的基础理论——数理逻辑、集合论、代数系统和图论。全书共9章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用、树。本书包含较多的与计算机科学和工程有关的例题和习题。
电子书
本书共10章，介绍了数理逻辑、集合与关系、图论，以及代数系统与布尔代数中的基本概念、算法、定理及其证明方法。本书不仅注重基本概念的描述，还特别注重阐述有关离散数学的证明方法及离散数学问题求解的算法，并且举出大量的应用实例。
电子书
离散数学是现代数学的一个重要分支，是计算机和软件科学理论的基础。本书是针对“碎片化”教学和“翻转课堂”教学模式改革编写的新型教材，共包括4个方面的内容：基础知识，逻辑，关系与函数，图与树。每部分都包含大量习题，并在书末附有部分习题的参考答案。本书着重讲解离散数学的基本概念、基本方法及应用，内容精练、语言流畅、习题丰富，可作为高等院校计算机或软件工程专业不同方向、采用“翻转课堂”教学模式“离散数学”
电子书
本书是与同济大学数学系编写的《高等数学》（ISBN 978-7-115-42640-6，人民邮电出版社出版）配套的学习辅导书．全书按照教育部大学数学教学指导委员会的基本要求，充分吸取当前高等数学教材辅导书的精华，并结合数年来的教学实践经验，针对当今学生的知识结构和习惯特点编写．全书分为上下两册．本书为下册，是多元函数微积分部分，一共有四章，主要内容包括向量与空间解析几何，多元函数微分学，多元函数积
电子书
本书以培养读者的实际应用能力为出发点，以项目为核心，按照项目要求、相关知识、项目实施及拓展知识的体系结构，系统介绍现代汽车底盘机械系统的组成、工作原理、故障诊断及排除方法，具体包括离合器、手动变速器、万向传动装置、驱动桥、车桥和轮胎、悬架、转向系及制动系等装置。
电子书
本书是按照教育部高等学校大学数学教学指导委员会经济和管理类本科数学基础课程教学基本要求，结合上海财经大学数学学院线性代数教学团队多年的教学实践，针对当前经济管理类专业对线性代数相关知识的实际需求编写完成的．本书针对线性代数的核心内容做了系统编排，全书脉络清晰、简明易懂．本书共六章，内容包括行列式、矩阵、向量的线性相关性与矩阵的秩、线性方程组、矩阵的特征值、二次型．每章对核心知识进行详细阐述，部分例
电子书
本书根据高等院校非数学类专业的概率论与数理统计课程的教学大纲和教学基本要求，参照上海财经大学概率论与数理统计课程与教材建设的经验和成果，参考全国硕士研究生入学统一考试大纲，充分吸收国内外概率论与数理统计相关教材的精华，结合编者多年教学实践和教学改革经验编写而成．本书共8章，内容包括事件与概率、随机变量及其分布、随机向量及其分布、随机变量的数字特征、大数定律与中心极限定理、统计量与抽样分布、参数估计
