本书介绍计算机相关专业必需的离散数学基础知识，包括离散数学4大分支的基础理论——数理逻辑、集合论、代数系统和图论。全书共9章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用、树。本书包含较多的与计算机科学和工程有关的例题和习题。
电子书
内容简介
本书共10章，介绍了数理逻辑、集合与关系、图论，以及代数系统与布尔代数中的基本概念、算法、定理及其证明方法。本书不仅注重基本概念的描述，还特别注重阐述有关离散数学的证明方法及离散数学问题求解的算法，并且举出大量的应用实例。
章节目录
- 第1章 集合论
- 本章思维导图
- 历史人物
- 1.1 集合的基本概念
- 1.1.1 集合的表示
- 1.1.2 集合与集合的关系
- 1.1.3 几个特殊集合
- 1.2 集合的运算
- 1.3 无限集
- 1.3.1 可数集
- 1.3.2 不可数集
- 1.4 与集合相关的应用
- 1.4.1 集合的计算机表示
- 1.4.2 计数问题
- 1.5 习题
- 第2章 命题逻辑
- 本章思维导图
- 历史人物
- 2.1 命题与命题联结词
- 2.1.1 命题
- 2.1.2 命题联结词
- 2.1.3 自然语言的命题符号化
- 2.2 命题公式、解释与真值表
- 2.2.1 命题公式
- 2.2.2 命题公式的解释与真值表
- 2.2.3 命题公式的基本等价定律
- 2.3 公式的标准型———范式
- 2.3.1 命题联结词的完备集
- 2.3.2 析取范式和合取范式
- 2.3.3 主合取范式和主析取范式
- 2.4 命题逻辑的推理理论
- 2.4.1 推理的基本概念
- 2.4.2 推理有效性的判别方法
- 2.5 命题逻辑的应用
- 2.5.1 命题联结词的应用
- 2.5.2 命题公式的应用
- 2.5.3 范式的应用
- 2.5.4 命题逻辑推理的应用
- 2.6 习题
- 第3章 谓词逻辑
- 本章思维导图
- 历史人物
- 3.1 自然语言的谓词符号化
- 3.1.1 谓词
- 3.1.2 量词
- 3.2 谓词公式与解释
- 3.2.1 谓词公式
- 3.2.2 自由变元和约束变元
- 3.2.3 谓词公式的解释
- 3.2.4 谓词公式的基本等价定律
- 3.3 谓词公式的标准型———前束范式∗
- 3.3.1 前束范式
- 3.3.2 Ｓｋｏｌｅｍ 范式∗
- 3.4 谓词逻辑的推理理论
- 3.4.1 推理规则与推理定律
- 3.4.2 推理有效性的判别方法
- 3.5 谓词逻辑的应用
- 3.6 习题
- 第4章 二元关系
- 本章思维导图
- 历史人物
- 4.1 二元关系及其表示
- 4.1.1 序偶和笛卡儿积
- 4.1.2 关系的定义
- 4.1.3 关系的表示法
- 4.2 关系的运算
- 4.2.1 关系的复合运算
- 4.2.2 关系的逆运算
- 4.2.3 关系的幂运算
- 4.3 关系的性质
- 4.3.1 关系性质的定义
- 4.3.2 关系性质的判定定理
- 4.3.3 关系性质的保守性
- 4.4 关系的闭包
- 4.5 关系的应用
- 4.5.1 二元关系及表示的应用
- 4.5.2 关系运算的应用
- 4.6 习题
- 第5章 特殊关系
- 本章思维导图
- 历史人物
- 5.1 相容关系
- 5.1.1 相容关系的定义
- 5.1.2 集合的覆盖
- 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 习题
展开全部
离散数学（微课版）是2021年由人民邮电出版社出版,作者王庆先。
温馨提示：
1.本电子书已获得正版授权，由出版社通过知传链发行。
2.该电子书为虚拟物品，付费之后概不接收任何理由退款。电子书内容仅支持在线阅读，不支持下载。
3.您在本站购买的阅读使用权仅限于您本人阅读使用，您不得/不能给任何第三方使用，由此造成的一切相关后果本平台保留向您追偿索赔的权利！版权所有，后果自负！
得书感谢您对《离散数学（微课版）》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
电子书
电子书
本书介绍了离散数学基础知识和应用方法，全书共分为4篇，第1篇为数理逻辑，内容包括命题逻辑和一阶逻辑；第2篇为集合论，内容包括集合、二元关系和函数；第3篇为代数系统，内容包括代数结构和格与布尔代数；第4篇为图论，内容包括图的基本概念及表示、几类重要的图和树。 本书在内容安排上，突出由浅入深、循序渐进、通俗易懂的特点，各章配备了大量的例题，其内容与计算机科学的理论与实践密切结合，便于自学。本书适合作
电子书
安全教育对青少年具有重要意义。青少年只有掌握一定的安全知识，才能在学习、生活和社会实践中提升安全意识，加强防范措施。本书从职业学校的培养目标和实际需求出发，根据青少年的特点和实际情况编写而成。本书共设置八大主题，包括校园篇——维护学校稳定，构建和谐校园；防火篇——增强防火意识，防止火灾发生；交通篇——遵守交通规则，争做文明标兵；家庭篇——温馨和睦家庭，杜绝事故伤害；运动与旅游篇——美好休闲时光，注
电子书
本书从应用的角度介绍离散数学。全书共分6章，分别是命题逻辑、谓词逻辑、集合与关系、代数结构、图和有向图。全书体系严谨，内容讲解深入浅出，并配有大量与计算机科学相关的有实际背景的例题和习题。在每章最后增加了上机作业，可增强学生对课堂教学内容的理解和掌握，提高学生的学习兴趣和动手能力。全书以二维码的形式提供了教学视频，有利于教师进行线上线下混合式教学，帮助学生更好地学习、理解和应用离散数学理论。本书可
电子书
本书根据工科类本科“线性代数”课程教学基本要求，参考同济大学“线性代数”课程及教材建设的经验和成果，按照硕士研究生考研大纲的要求编写而成．编者在内容编排、概念叙述、定理证明等诸多方面都做了精心安排，以使全书结构流畅，主次分明，通俗易懂．本书共分五章，包括线性方程组与矩阵、方阵的行列式、向量空间与线性方程组解的结构、相似矩阵及二次型、线性空间与线性变换．每小节配有习题，每章末配有拓展阅读和测试题，拓
电子书
全书以计算思维为导向，凝练了计算机科学与技术中相关的基本理论、基本方法和新一代智能计算技术的基本概念及应用。全书内容分为10章，介绍了计算、计算机与计算思维的基础知识，计算机的计算基础，计算机系统，计算机网络与信息安全，算法设计基础，Python语言程序设计，以及数据库与大数据、云计算、人工智能和物联网等智能计算技术。
电子书
《高等数学(上下)》分上、下两册。上册内容为函数与极限，一元函数微学分，一元函数积分学，常微分方程。下册内容为空间解析几何，多元函数微分学，多元函数积分学，无穷级数。书中各章节的主要内容都配有精心选取的例题和习题，着重洲练读者对定义与概念的理解、对定理与方法的应刚能力，培养读者解决问题的逻辑心维方法和创新能力。本书是根据工科类高等院校“高等数学”课程的基本要求，结合编者多年的教学经验编写而成的，适
电子书
本书是按照教育部大学数学教学指导委员会的基本要求，充分吸取当前优秀高等数学教材的精华，并结合数年来的教学实践经验，针对当前学生的知识结构和习惯特点编写而成。全书分为上、下两册。本书为上册，是一元函数微积分部分，共四章，主要内容包括函数极限与连续，一元函数微分学及其应用，一元函数积分学及其应用，微分方程。每节前面配有课前导读，核心知识点配备微课，每章后面附有章节测试和拓展阅读。本书注重知识点的引入方
