离散数学

　　本书为离散数学课程教材。全书共四篇：数理逻辑、集合论、代数系统、图论。第一篇含命题逻辑、谓词逻辑两章，第二篇含集合、关系、函数三章，第三篇含群、环和域、格与布尔代数、代数系统四章，第四篇为图论一章，各章后附有一定量的习题。本教材文字通俗易懂，内容循序渐进，深入浅出，可作为计算机专业、数学专业及相关专业的教材或参考书，也可供其他专业科研人员参考。

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

第一章命题逻辑
1.1命题及其表示法
1.2命题等价
1.3重言式与重言蕴含式
1.4对偶与范式
1.5命题演算的推理理论
习题1
第二章谓词逻辑
2.1谓词和量词
2.2谓词公式
2.3公式等价与重言蕴含式
2.4前束范式
2.5谓词演算的推理理论
习题2
第三章集合
3.1集合及集合间的关系
3.2集合代数
3.3幂集与分划
3.4笛卡尔积
习题3
第四章关系
4.1关系
4.2关系的运算
4.3关系的性质
4.4等价关系
4.5偏序
4.6相容关系
习题4
第五章函数
5.1函数
5.2集合的基数
第六章群
6.1运算
6.2半群与独异点
6.3群
6.4子群及其陪集
习题6
第七章环和域
7.1环
7.2子环和理想
7.3域
习题7
第八章格与布尔代数
8.1格的基本概念
8.2子格
8.3特殊的格
8.4布尔代数
习题8
第九章代数系统
9.1代数系统
9.2同态与同构
9.3正规子群与满同态
9.4理想与满同态
习题9
第十章图论
10.1图与子图
10.2开路、回路与连通
10.3图的矩阵表示
10.4欧拉图和哈密顿图
10.5偶图和平面图
10.6树、根树
习题10
主要参考文献