离散数学

　　《离散数学》中离散数学是现代数学的一个重要分支，是计算机类专业的重要基础课程。《离散数学》全面介绍了离散数学的主要内容，即数理逻辑初步、集合论、代数结构、图论等基本内容，并对离散数学的应用进行了初步介绍。《离散数学》适合于高等院校理工科计算机类学生作专业基础课教材，也适合有关科技人员参考。

暂缺《离散数学》作者简介

第1章　命题逻辑
1.1　命题与联结词
1.2　命题公式
1.3　等值演算
1.4　范式
1.5　联结词的完备集
1.6　命题逻辑的推理演算
1.7　命题逻辑在计算机科学中的应用
小结
习题
第2章　谓词逻辑
2.1　个体、谓词和量词
2.2　谓词公式
2.3　等值演算
2.4　范式
2.5　谓词逻辑的推理演算
2.6　谓词逻辑在计算机科学中的应用
小结
习题
第3章　非经典逻辑简介
3.1 引言
3.2　模态逻辑
3.3　多值逻辑
3.4　非单调逻辑
小结
习题
第4章　集合
　4.1　集合及其表示
　4.2　集合的运算
　4.3　文氏图
　小结
　习题
第5章　关系
　5.1　关系及其表示
5.2　关系的性质
5.3　关系的运算
5.4　等价关系
5.5　偏序关系
5.6　关系在计算机科学中的应用
小结
习题
第6章　函数
6.1 函数的基本概念
6.2　函数的性质
6.3　函数的运算
6.4　集合的特征函数
6.5　集合的基数
6.6　经典集合的扩展
小结
习题
第7章　代数结构
7.1　代数结构及其性质
7.2　同态与同构
7.3　同余与商代数
小结
习题
第8章　群
　8.1　群及其性质
　8.2　置换群与循环群
　8.3　陪集和拉格朗日定理
　8.4　正规子群与群同态基本定理
　8.5　群在计算机科学中的应用
　小结
　习题
第9章　布尔代数
9.1　概述
9.2　格
9.3　布尔代数
9.4　布尔表达式与布尔函数
9.5　布尔代数的同态与同构
小结
习题
第10章　图的基本概念
第11章　特殊图
参考文献