离散数学
作者：王遇科编
出版时间：1986年版
内容简介
《离散数学》是计算机科学和信息科学的数学基础。全书共分七章，介绍了数理逻辑、集合、代数结构和图论等基础内容。本书叙述较为详细，针对性强，书中给出了较多实例，每一小节都附有习题，便于广大读者自学之用。
目 录
章 命题逻辑
引言
1-1 命题
1-2 命题演算
1-3 命题范式和判定问题
1-4 命题演算的推理理论
第二章 谓词逻辑
引言
2-1 谓词演算
2-2 谓词演算的永真式
2-3 谓词演算的推理理论
第三章 集 合
引言
3-1 集合的基本概念
3-2 集合代数
3-3 笛卡儿乘积
第四章 二元关系
引言
4-1 关系
4-2 等价关系
4-3 关系的合成
第五章 函 数
引言
5-1 函数的基本性质
5-2 几种重要函数
5-3 反函数
5-4 置换
5-5 二元运算
第六章 代数系统
引言
6-1 代数结构
6-2 代数系统的实例
6-3 同态和同构
6-4 同余关系
6-5 商代数
6-6 积代数
第七章 图 论
引言
7-1 图论的基本概念
7-2 图的矩阵表示
7-3 欧拉图与哈密顿图
7-4 特殊图
