离散数学

书籍目录

第1篇 数理逻辑第1章 数理逻辑1.1 命题及命题联结词1.2 命题公式及命题公式之间的逻辑关系1.3 谓词与量词1.4 谓词公式及谓词公式之间的逻辑关系1.5 范式1.6 数理逻辑推理理论1.7 命题逻辑推理系统N1.8 谓词逻辑推理系统NL小结习题一习题二第2章 非经典逻辑介绍2.1 模态逻辑2.2 多值逻辑2.3 非单调逻辑2.4 模糊逻辑2.5 道义逻辑小结习题一第2篇 关系第3章 集合基础3.1 集合的概念和表示法3.2 集合的关系3.3 集合的基本运算3.4 包含排斥原理小结习题一习题二第4章 关系4.1 笛卡儿积与序偶4.2 二元关系的定义和表示4.3 关系的运算4.4 关系的性质4.5 关系的闭包4.6 等价关系与集合的划分4.7 偏序关系与偏序集小结习题一习题二第5章 函数第3篇 图论第6章 图论中的基本概念第7章 特殊图第4篇 代数系统第8章 代数系统第9章 几个特殊的代数系统第5篇 组合分析初步第10章 排列与组合第11章 鸽巢原理附录 各章习题二答案参考文献

作者简介

本书共分为数理逻辑、关系、图论、代数系统及组合分析初步5个部分，其中包括命题逻辑、谓词逻辑、非经典逻辑、集合、二元关系、函数、图论、代数系统以及组合计数等内容。本书既注重各部分内容之间的联系，又注重基础理论及其实际应用。各章配有小结及大量的例题分析，除第2章外每章本有两套习题，习题一供学习者熟悉本章概念、理论和方法；习题二供学习者进行自我检测。



本书可作为高等院校计算机及其相关专业的本科生、研究生教材，也可供从事计算机工作的科学技术人员以及相关人士使用或参考，还可用作大学毕业生的考研复习用书。

图书封面

 离散数学下载