- 东北大学出版社
- 9787551705394
- 182025
- 2014年2月
- 未分类
- 未分类
- O158
内容简介
离散数学是计算机科学相关专业重要的专业基础课程，是计算机专业，信息相关专业，计算机系统软、硬件开发专业以及数学与应用数学专业，数学建模，工程，管理，金融等专业不可缺少的基础知识。本书适合高等院校相关各专业作为离散数学课程的基本教材和参考书。
张莹、孙晶编写的《离散数学》共分六章。分别介绍集合论、关系与函数、代数系统、命题逻辑、谓词逻辑和图论六部分内容。本书内容叙述严谨，推演详尽，深入浅出，通俗易懂，大部分概念都用详细的实例说明并配有习题。
目录
第1章 集合论
1.1 集合的基本概念
1.2 集合的运算
1.3 集合的笛卡儿积
第2章 关系与函数
2.1 关系的基本概念
2.2 关系的性质与运算
2.3 关系的闭包
2.4 等价关系
2.5 序关系
2.6 函数
2.7 基数
第3章 代数系统
3.1 代数运算及性质
3.2 代数系统与半群
3.3 群
3.4 置换群
3.5 交换群与循环群
3.6 陪集与拉格朗日定理
3.7 环与域
3.8 格
第4章 命题逻辑
4.1 命题与联结词
4.2 命题公式与真值表
4.3 等价及等价公式
4.4 重言式与蕴含式
4.5 范式
4.6 推理理论
第5章 谓词逻辑
5.1 谓词与谓词公式
5.2 谓词演算
第6章 图论
6.1 图的概念
6.2 图与矩阵
6.3 欧拉图
6.4 哈密尔顿图
6.5 平面图与两步图
6.6 树
6.7 有向树
习题参考答案
