离散数学 第二版
作者：姜泽渠 主编
出版时间：2012年版
内容简介
《离散数学》分10章介绍离散数学的几大基础内容：数理逻辑、集合论、图论、代数结构及组合论初步。它们分别是：命题逻辑、谓词逻辑、集合论、二元关系、函数、图论、特殊图、代数系统、格与布尔代数、组合论基础。《离散数学》将离散数学中的一些常用算法细化后分别插入到相应的章节中去，为通过编程、上机实践来加深对基础内容的理解作必要的引导。《离散数学》理论体系完整，内容较为丰富，文字简明、易懂，且附有较多的例题及练习题。
《离散数学》可作为计算机、电子技术、信息、管理等学科、专业的本科生教材，也可作为大学专科及中等专业学校相应学科、专业的教学参考书，亦可作为广大青年和工程技术人员的阅读、参考资料。
目 录
第1章 命题逻辑 1
1.1命题与合式公式 1
1.2逻辑等值式 7
1.3范式 12
1.4推理理论 18
1.5命题逻辑中的有关算法25
习题1 30
第2章 谓词逻辑35
2. 1谓词逻辑的基本概念35
2.2谓词公式与等值演算39
2.3推理理论 47
习题2 51
第3章 集合论 54
3.1集合论基础 54
3.2集合的运算 58
3.3集合的包含与计数 62
3.4实现集合基本运算的算法 66
习题3
第4章 二元关系 70
4.1二元关系及其基本性质 70
4.2二元关系的运算 76
4.3等价关系与偏序关系 83
4.4有关关系的算法 89
习题4 93
第5章 函数 98
5.1函数的概念与运算 98
5.2特征函数与模糊子集 105
5.3自然数与集合的基数 107
5.4判定映射及其类型与求特征函数的算法 112
习题5 113
……
