离散数学/面向21世纪高职高专计算机类专业新编系列教材

本书是根据教育部颁发的关于高职高专“离散数学”课程的基本要求而编写的“创新”教材, 分为数理逻辑, 集合、关系与函数, 代数系统, 图论等四章内容。用“类比法”、“对偶法”突出实用，通俗易懂，由浅入深，通过五个环节，便于培养学生自学和解决问题的能力。
　　本书可作为高职高专计算机专业及相关专业的教材，还可供技术人员自学或教师教学参考。

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
参考答案
参考文献