离散数学/面向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
参考答案
参考文献
您现在的位置：
