内容简介
本书分10章介绍离散数学的几大基础内容:数理逻辑、集合论、图论、代数结构及组合论初步。它们分别是:命题逻辑、谓词逻辑、集合论、二元关系、函数、图论、特殊图、代数系统、格与布尔代数、组合论基础。本书将离散数学中的一些常用算法细化后分别插入到相应的章节中去,为通过编程、上机实践来加深对基础内容的理解作必要的引导。本书理论体系完整,内容较为丰富,文字简明、易懂且附有较多的例题及练习题。
本书可作为计算机、电子技术、信息、管理等学科、专业的本科学生的教材,也可作为大学专科及中等专业学校相应学科、专业的教学参考书,亦可作为广大青年和工程技术人员的阅读、参考资料。
目录
第1章命题逻辑
1.1命题与合式公式
1.2逻辑等值式
1.3范式
1.4推理理论
*1.5命题逻辑中的有关算法
习题1
第2章谓词逻辑
2.1谓词逻辑的基本概念
2.2谓词公式与等值演算
*2.3推理理论
习题2
第3章集合论
3.1集合论基础
3.2集合的运算
3.3集合的包含与计数
*3.4实现集合基本运算的算法
习题3
第4章二元关系
4.1二元关系及其基本性质
4.2二元关系的运算
4.3等价关系与偏序关系
*4.4有关关系的算法
习题4
第5章函数
5.1函数的概念与运算
5.2特征函数与模糊子集
*5.3自然数与集合的基数
*5.4判定映射及其类型与求特征函数的算法
习题5
第6章图论
6.1图的基本概念
6.2路径及图的连通性
6.3图的矩阵表示
6.4欧拉图与哈密尔顿图
*6.5图论基础理论中的算法
习题6
第7章特殊图
7.1树的概念及性质
7.2平面图
7.3二分图与匹配
*7.4连通度与网络流
*7.5求最小生成树和最优二元树的算法
习题7
第8章代数系统
8.1代数运算及代数系统
8.2同态与同构
8.3同余关系与商代数
8.4群
8.5环与域
*8.6代数结构中的算法
习题8
第9章 格与布尔代数
9.1格的概念及基本性质
9.2特殊格
9.3布尔代数
习题9
*第10章组合论基础
10.1排列与组合
10.2容斥原理与鸽巢原理
10.3母函数与递推关系
习题10
参考文献