离散数学
2012-5
郝林、黄亚群、 李劲 科学出版社 (2012-05出版)
郝林 等 著
316
《软件工程系列规划教材：离散数学》包括数理逻辑（命题逻辑、谓词逻辑、数学归纳法）；集合论（关系、函数、算法）；代数系统（群论、格与布尔代数）；图论。
前言第一篇 数理逻辑第1章 命题逻辑1.1 命题及命题联结词1.2 命题公式及其类型1.3 等价式与蕴涵式1.4 对偶与范式1.5 推理与证明1.6 命题逻辑的应用小结习题第2章 谓词逻辑2.1 谓词逻辑基本概念2.2 谓词公式及命题符号化2.3 变元的约束2.4 谓词演算的等价式和蕴涵式2.5 谓词公式的范式2.6 谓词演算的推理理论小结习题二第二篇 集合论第3章 集合论基础3.1 集合的基本概念3.2 集合的运算3.3 集合的划分与覆盖3.4 包含排斥原理3.5 数学归纳法3.6 集合的计算机表示小结习题三第4章二元关系4.1 关系的概念4.2 关系的性质4.3 关系的运算4.4 关系的闭包运算4.5 等价关系和等价类4.6 相容关系和相容类4.7 序关系和哈斯图4.8 关系的应用小结习题四第5章函数5.1 函数的概念5.2 函数的运算5.3 集合的基数5.4 基数的比较5.5 特征函数的应用小结习题五第三篇 图论第6章 图论6.1 图的基本概念6.2 路和图的连通性6.3 图的矩阵表示6.4 欧拉图和哈密尔顿图6.5 平面图及对偶图6.6 图的着色6.7 树与生成树6.8 根树及其应用6.9 最短路径问题6.10图论的应用小结习题六第四篇 代数系统第7章 代数结构7.1 代数系统的基本概念7.2 半群与独异点7.3 群与子群7.4 阿贝尔群与循环群7.5 陪集与拉格朗日定理7.6 同态与同构7.7 环与域小结习题七第8章 格与布尔代数8.1 格8.2 特殊格8.3 布尔代数8.4 布尔表达式小结习题八参考文献
版权页：插图：
《软件工程系列规划教材:离散数学》特色：以事例导出并形象完整叙述离散数学核心内容，以工具为先导，基础作铺垫，概念为骨架，例子来充实，内容包括数理逻辑、集合论、图论、代数系统，《软件工程系列规划教材:离散数学》可提供习题解答和多媒体课件给任课教师。
