编辑推荐
《高等院校教材:离散数学(第二版)》可作为高等院校计算机专业的教材，也可供信息及电子等专业师生参考。
目录
前言
第1章绪论
1.1离散量与离散数学
1.2离散数学的地位和作用
1.3计算机为什么要依赖数学
1.4如何学好离散数学
第2章命题逻辑
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
2.8命题逻辑的归结演绎推理
习题2.8
第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
第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
5.5格
习题5.5
5.6布尔代数
习题5.6
第6章图论
6.1图的基本概念
习题6.1
6.2图的连通性
习题6.1
6.3图的矩阵表示
习题6.3
6.4有向图
习题6.4
6.5欧拉图与哈密顿图
习题6.5
6.6带权图
习题6.6
6.7树
习题6.7
习题答案及提示
参考文献
文摘
版权页：
插图：
《高等院校教材:离散数学(第二版)》可作为高等院校计算机专业的教材，也可供信息及电子等专业师生参考。
目录
前言
第1章绪论
1.1离散量与离散数学
1.2离散数学的地位和作用
1.3计算机为什么要依赖数学
1.4如何学好离散数学
第2章命题逻辑
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
2.8命题逻辑的归结演绎推理
习题2.8
第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
第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
5.5格
习题5.5
5.6布尔代数
习题5.6
第6章图论
6.1图的基本概念
习题6.1
6.2图的连通性
习题6.1
6.3图的矩阵表示
习题6.3
6.4有向图
习题6.4
6.5欧拉图与哈密顿图
习题6.5
6.6带权图
习题6.6
6.7树
习题6.7
习题答案及提示
参考文献
文摘
版权页：
插图：
| ISBN | 9787030535665,7030535669 |
|---|---|
| 出版社 | 科学出版社 |
| 作者 | 廖元秀 |
| 尺寸 | 16 |