离散数学教程

出版时间：2006-8  出版社：大连海事大学出版社  作者：赵广利，黄健 编  页数：286  

书籍目录

第1篇 数理逻辑第1章 命题逻辑1.1命题与逻辑连接词1.2命题公式与真值表1.3永真式与永假式1.4代入规则与替换规则1.5等价与蕴涵1.6对偶原理1.7其他连接词1.8范式与范式判定问题1.9命题演算的推理理论习题1第2章 谓词逻辑2.1谓词与个体2.2量词与全总个体域2.3谓词公式2.4自由变元与约束变元2.5谓词公式的等价式与蕴涵式2.6谓词逻辑的推理理论习题2第2篇 集合论第3章 集合3.1集合的基本概念3.2集合的运算3.3包含排斥原理3.4自然数与数学归纳法3.5笛卡儿乘积习题3第4章 二元关系4.1关系及其性质4.2关系图与关系矩阵4.3关系的运算4.4等价关系与划分4.5相容关系与覆盖4.6次序关系习题4第5章 函数5.1函数的基本概念5.2复合函数与逆函数5.3特征函数与模糊子集5.4集合的基数习题5第3篇 代数系统第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第4篇 图论第9章 图论基础9.1图的基本概念9.2子图与图的运算9.3路径、回路和连通性9.4可分图与不可分图9.5图的矩阵表示法习题9第10章 特殊图与应用10.1欧拉图与哈密顿图10.2平面图与欧拉公式10.3二部图与匹配10.4对偶图与着色10.5树10.6根树及其应用10.7运输网络习题10参考文献