编辑推荐
《面向工程教育的本科计算机类专业系列教材:离散数学导论(第5版)》可作为高等院校计算机有关专业本科“离散数学”课程的教材或参考书，也可供从事计算机工作的科研人员、工程技术人员以及其他有关人员参考。
目录
第一篇离散数学概论
第二篇集合论
第1章集合论基础
1.1集合的基本概念
1.2集合运算
1.3幂集
习题1
第2章关系
2.1关系的预备知识——n元有序组与笛卡儿乘积
2.2关系的基本概念
2.3关系的运算
2.4关系的五个重要性质
2.5关系上的闭包运算
2.6次序关系
2.7相容关系
2.8等价关系
习题2
第3章函数
3.1函数的基本概念
3.2复合函数、反函数、多元函数
3.3常用函数介绍
习题3
第4章有限集与无限集
4.1有限集与无限集基本概念
4.2有限集
4.3无限集的性质
习题4
第二篇复习指导
第二篇总复习题
第三篇代数系统
第5章代数系统基础
5.1代数系统的基本概念
5.2代数系统九个基本性质
5.3同构与同态
5.4代数系统分类
习题5
第6章群论
6.1群的基本概念
6.2变换群
6.3有限群
6.4循环群
6.5子群
6.6正规子群
习题6
第7章环论、格论与布尔代数
7.1环论
7.2格论与布尔代数
习题7
第三篇复习指导
第三篇总复习题
第四篇图论
第8章图论原理
8.1图的基本概念
8.2通路、同路与连通性
8.3图的矩阵表示法
习题8
第9章常用图——树与欧拉图
9.1树的基本性质
9.2有向树
9.3二元树
9.4生成树
9.5欧拉图
习题9
第四篇复习指导
第四篇总复习题
第五篇数理逻辑
第10章命题逻辑
10.1命题与命题联结词
10.2命题变元与命题公式
10.3重言式
10.4命题逻辑的基本等式及等式推理
10.5命题逻辑的基本蕴涵式及蕴涵推理
10.6范式
10.7命题联结词的扩充与归约
习题10
第11章谓词逻辑
11.1谓词与个体
11.2量词
11.3函数
11.4谓词逻辑公式
11.5自由变元与约束变元
11.6谓词逻辑的永真公式
11.7谓词逻辑的等式推理
11.8谓词逻辑的蕴涵推理
11.9谓词逻辑范式
习题11
第12章数理逻辑的公理化理论
12.1公理化理论的基本思想
12.2命题逻辑、谓词逻辑的公理化理论
12.3数理逻辑应用公理系统
12.4谓词逻辑的自动定理证明
习题l2
第五篇复习指导
第五篇总复习题
第六篇离散建模
第13章离散建模概念与方法
13.1离散建模概念
13.2离散建模方法
13.3离散建模方法的五个步骤
习题13
第14章离散建模应用实例
14.1数字逻辑电路中的离散建模
14.2电话线路故障影响分析中的离散建模
14.3数据库中关系数据模型的离散建模
14.4操作系统中死锁检测的离散建模
习题14
第六篇复习指导
第六篇总复习题
附录一常用符号一览表
附录二中英文名词对照表
参考文献
文摘
版权页：
插图：
《面向工程教育的本科计算机类专业系列教材:离散数学导论(第5版)》可作为高等院校计算机有关专业本科“离散数学”课程的教材或参考书，也可供从事计算机工作的科研人员、工程技术人员以及其他有关人员参考。
目录
第一篇离散数学概论
第二篇集合论
第1章集合论基础
1.1集合的基本概念
1.2集合运算
1.3幂集
习题1
第2章关系
2.1关系的预备知识——n元有序组与笛卡儿乘积
2.2关系的基本概念
2.3关系的运算
2.4关系的五个重要性质
2.5关系上的闭包运算
2.6次序关系
2.7相容关系
2.8等价关系
习题2
第3章函数
3.1函数的基本概念
3.2复合函数、反函数、多元函数
3.3常用函数介绍
习题3
第4章有限集与无限集
4.1有限集与无限集基本概念
4.2有限集
4.3无限集的性质
习题4
第二篇复习指导
第二篇总复习题
第三篇代数系统
第5章代数系统基础
5.1代数系统的基本概念
5.2代数系统九个基本性质
5.3同构与同态
5.4代数系统分类
习题5
第6章群论
6.1群的基本概念
6.2变换群
6.3有限群
6.4循环群
6.5子群
6.6正规子群
习题6
第7章环论、格论与布尔代数
7.1环论
7.2格论与布尔代数
习题7
第三篇复习指导
第三篇总复习题
第四篇图论
第8章图论原理
8.1图的基本概念
8.2通路、同路与连通性
8.3图的矩阵表示法
习题8
第9章常用图——树与欧拉图
9.1树的基本性质
9.2有向树
9.3二元树
9.4生成树
9.5欧拉图
习题9
第四篇复习指导
第四篇总复习题
第五篇数理逻辑
第10章命题逻辑
10.1命题与命题联结词
10.2命题变元与命题公式
10.3重言式
10.4命题逻辑的基本等式及等式推理
10.5命题逻辑的基本蕴涵式及蕴涵推理
10.6范式
10.7命题联结词的扩充与归约
习题10
第11章谓词逻辑
11.1谓词与个体
11.2量词
11.3函数
11.4谓词逻辑公式
11.5自由变元与约束变元
11.6谓词逻辑的永真公式
11.7谓词逻辑的等式推理
11.8谓词逻辑的蕴涵推理
11.9谓词逻辑范式
习题11
第12章数理逻辑的公理化理论
12.1公理化理论的基本思想
12.2命题逻辑、谓词逻辑的公理化理论
12.3数理逻辑应用公理系统
12.4谓词逻辑的自动定理证明
习题l2
第五篇复习指导
第五篇总复习题
第六篇离散建模
第13章离散建模概念与方法
13.1离散建模概念
13.2离散建模方法
13.3离散建模方法的五个步骤
习题13
第14章离散建模应用实例
14.1数字逻辑电路中的离散建模
14.2电话线路故障影响分析中的离散建模
14.3数据库中关系数据模型的离散建模
14.4操作系统中死锁检测的离散建模
习题14
第六篇复习指导
第六篇总复习题
附录一常用符号一览表
附录二中英文名词对照表
参考文献
文摘
版权页：
插图：
| ISBN | 7040466678,9787040466676 |
|---|---|
| 出版社 | 高等教育出版社 |
| 作者 | 徐洁磐 |
| 尺寸 | 16 |