本教材是参照 ACM 和 IEEE 最新推出的 Computing Curricula,根据教育部高等学校计算机科学与技术教学指导委员会最新编制的 “高等学校计算机科学与技术专业规范” 中制定的关于离散数学的知识结构和体系撰写的。全书共 14 章,内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等。本书体系严谨,文字精练,内容翔实,例题丰富,注重与计算机科学技术的实际问题相结合,并选配了大量难度适当的习题,适合教学。另外,本书有配套的习题解答与学习指导等教学辅导用书,以及用于课堂教学的 PPT 演示文稿和在线数字资源等,以满足教学需要。本书适合作为高
离散数学(第3版)
✍ Scribed by 邓辉文
- Publisher
- 清华大学出版社
- Year
- 2018
- Tongue
- Chinese
- Leaves
- 284
- Edition
- 第3版
- Category
- Library
No coin nor oath required. For personal study only.
✦ Table of Contents
封面
扉页
内容简介
版权页
前言
目录
第1章 集合、映射与运算
1.1 集合的有关概念
习题1.1
1.2 映射的有关概念
习题1.2
1.3 运算的定义及性质
习题1.3
1.4 集合的运算
习题1.4
1.5 集合的划分与覆盖
习题1.5
1.6 集合的对等
习题1.6
本章小结
第2章 关系
2.1 关系的概念
习题2.1
2.2 关系的运算
习题2.2
2.3 关系的性质
习题2.3
2.4 关系的闭包
习题2.4
2.5 等价关系
习题2.5
2.6 相容关系
习题2.6
2.7 偏序关系
习题2.7
本章小结
第3章 命题逻辑
3.1 命题的有关概念
习题3.1
3.2 逻辑联结词
习题3.2
3.3 命题公式及其真值表
习题3.3
3.4 逻辑等值的命题公式
习题3.4
3.5 命题公式的范式
习题3.5
3.6 联结词集合的功能完备性
习题3.6
3.7 命题逻辑中的推理
习题3.7
本章小结
第4章 谓词逻辑
4.1 个体、谓词、量词和函词
习题4.1
4.2 谓词公式及命题的符号化
习题4.2
4.3 谓词公式的解释及类型
习题4.3
4.4 逻辑等值的谓词公式
习题4.4
4.5 谓词公式的前束范式
习题4.5
4.6 谓词逻辑中的推理
习题4.6
本章小结
第5章 代数结构
5.1 代数结构简介
习题5.1
5.2 群的定义及性质
习题5.2
5.3 环和域
习题5.3
5.4 格与布尔代数
习题5.4
本章小结
第6章 图论
6.1 图的基本概念
习题6.1
6.2 节点的度数
习题6.2
6.3 子图、图的运算和图同构
习题6.3
6.4 路与回路
习题6.4
6.5 图的连通性
习题6.5
6.6 图的矩阵表示
习题6.6
6.7 赋权图及最短路径
习题6.7
本章小结
第7章 几类特殊的图
7.1 欧拉图
习题7.1
7.2 哈密尔顿图
习题7.2
7.3 无向树
习题7.3
7.4 有向树
习题7.4
7.5 平面图
习题7.5
7.6 平面图的面着色
习题7.6
7.7 二部图匹配
习题7.7
本章小结
第8章 组合计数
8.1 计数原理、排列组合与二项式定理
习题8.1
8.2 生成函数
习题8.2
8.3 递归关系
习题8.3
本章小结
正文结束
附录A 符号索引
附录B 中英文名词索引
附录C 习题答案及提示
参考文献
📜 SIMILAR VOLUMES
<p>《离散数学(第3版)》内容简介:离散数学和微积分不同,离散数学是以离散对象为研究对象的,是计算机专业和其他一些工程专业的数学基础。《离散数学(第3版)》包含了数理逻辑、集合论、数函数和递推关系、图论、代数系统及布尔代数等主要内容。《离散数学(第3版)》注重理论的系统性和准确性,特别重视对理论难点的诠释,叙述通俗易读。</p> <p>《离散数学(第3版)》适合作为高等学校计算机专业或其他工程类专业教材使用,也可以供对离散数学有兴趣的读者自学。</p>
本书包括数理逻辑、集合论、图论、组合分析初步、代数结构和形式语言与自动机初步等 6 个方面的内容。书中概念论述清楚,内容丰富,通俗易懂,并且着重于概念的应用,而不着重于定理的证明。每章后均附有习题,建议学时 60~80. 本书可以作为计算机及信息管理等相关专业本科生的教材,也可以作为计算机技术与软件专业技术资格(水平)考试的参考书,同时还可以供从事计算机软件、硬件开发和应用的人员使用。另有配套教材《离散数学题解(第五版)》. 本书是北京高等教育精品教材。
离散数学是计算机学科重要的基础课程,本书是作者多年教学经验的总结,全书内容包括:集合、二元关 系、函数、代数结构(群、环、域、格和布尔代数)、图论、命题逻辑和谓词逻辑等。本书结构清晰,概念准确,叙述 严谨,有层次地精选了丰富的例题,各章节还配有适量的习题,帮助读者巩固和掌握所学知识。本书还为任课 老师提供电子课件和习题选解。 本书可作为高等学校计算机、信息管理与信息系统、信息与计算科学等专业教材,也适合工程技术人员和 自学者参考。