离散数学与算法
作 者： 包世堂 主编
出版时间：2011
丛编项： 普通高等教育"十二五"规划教材
内容简介
《普通高等教育“十二五”规划教材：离散数学与算法》系统讲解离散数学基础知识和应用方法及实现算法，内容包括数理逻辑、集合论、关系、函数、代数系统和图论及应用，同时给出了各章节相关内容的算法和程序。《普通高等教育“十二五”规划教材：离散数学与算法》内容安排合理，由浅入深、循序渐进、通俗易懂，理论和实践紧密结合，突出应用的特点。《普通高等教育“十二五”规划教材：离散数学与算法》可作为高等学校数学与计算机相关专业本科生的教材，也可供相关科技人员学习参考。
目录
前言
第1章 命题逻辑
第1节 命题和命题联结词
习题1
第2节 合式?式
习题2
第3节 逻辑等价演算
习题3
第4节 对偶
习题4
第5节 范式和判定问题
习题5
第6节 推理理论
习题6
第7节 命题逻辑的相关算法
第2章 谓词逻辑
第1节 谓词演算
习题1
第2节 谓词逻辑中的等值和蕴涵
习题2
第3节 谓词逻辑中的推理理论
习题3
第4节 谓词逻辑的相关算法
第3章 集合的基本概念和运算
第1节 集合的基本概念
习题1
第2节 集合的运算
习题2
第3节 集合的划分与覆盖
习题3
第4节 集合的相关算法
第4章 关系
第1节 序偶和笛卡尔积
习题1
第2节 关系及其表示
习题2
第3节 关系的性质
习题3
第4节 关系的运算
习题4
第5节 几类重要的二元关系
习题5
第6节 关系的相关算法
第5章 函数
第1节 函数
习题1
第2节 函数运算
习题2
第3节 基数
习题3
第6章 代数系统的一般概念
第1节 二元运算
习题1
第2节 二元运算的性质
习题2
第7章 代数系统
第1节 置换
习题1
第2节 半群
习题2
第3节 群
习题3
第4节 陪集
习题4
第5节 正规子群和拉格朗日定理
习题5
……
第8章 环、域、格和布尔代数
第9章 图的基本理论
第10章 树
参考文献
