离散数学

1　数理逻辑
　1.1　命题、联结词与公式
　习题1.1　
　1.2　公式的等价与蕴含
　习题1.2　
　1.3　公式的主范式
　习题1.3
　1.4　推理理论
　习题1.4
　1.5　谓词逻辑
　习题1.5
2　集合、关系和函数
　2.1　集合和集合的运算
　习题2.1
　2.2　关系
　习题2.2
　2.3　等价关系和集合的划分
　习题2.3
　2.4　序关系和哈斯图
　习题2.4
　2.5　函数
　习题2.5
3　代数结构
　3.1　代数系统
　习题3.1
　3.2　半群和独异点
　习题3.2
　3.3　群与子群
　习题3.3
　3.4　环与域
　习题3.4
　3.5　格、子格与布尔代数
　习题3.5
4　图论
　4.1　图的基本概念
　习题4.1
　4.2　图的连通性
　习题4.2
　4.3　图的矩阵表示
　习题4.3
　4.4　树、生成树、有向树及其应用
　习题4.4
　4.5　欧拉图、哈密顿图、平面图
　习题4.5
参考答案
参考文献