离散数学(高等学校教材.计算机科学与技术)

     本书共分为数理逻辑、关系、图论、代数系统及组合分析初步5个部分，其中包括命题逻辑、谓词逻辑、非经典逻辑、集合、二元关系、函数、图论、代数系统以及组合计数等内容。本书既注重各部分内容之间的联系，又注重基础理论及其实际应用。各章配有小结及大量的例题分析，除第2章外每章配有两套习题，习题一供学习者熟悉本章概念、理论和方法；习题二供学习者进行自我检测。 本书可作为高等院校计算机及其相关专业的本科生、研究生教材，也可供从事计算机工作的科学技术人员以及相关人士使用或参考，还可用作大学毕业生的考研复习用书。

     第1篇 数理逻辑 第1章 数理逻辑 1.1 命题及命题联结词 1.1.1命题 1.1.2 命题联结词 1.1.3 命题的符号化 1.2 命题公式及命题公式之间的逻辑关系 1.2.1 命题公式的定义 1.2.2 公式的解释 1.2.3 真值表 1.2.4 公式的分类 1.2.5 公式之间的逻辑关系 1.3 谓词与量词 1.3.1 个体 1.3.2 谓词 1.3.3 量词 1.3.4 命题的符号化 1.4 谓词公式及谓词公式之间的逻辑关系 1.4.1 谓词逻辑中的合法符号 1.4.2 项 1.4.3 谓词公式 1.4.4 有关谓词公式的概念 1.4.5 谓词公式的解释 1.4.6 谓词公式的分类 1.4.7 谓词公式之间的逻辑关系 1.5 范式 1.5.1 主析（合）取范式 1.5.2 前束范式 1.6 数理逻辑推理理论 1.6.1 命题逻辑推理理论 1.6.2 谓词逻辑推理理论 *1.7 命题逻辑推理系统N 1.7.1 什么是形式系统 1.7.2 命题逻辑推理系统N 1.7.3 N中的一些基本定理 *1.8 谓词逻辑推理系统NL 1.8.1 NL的构造 1.8.2 NL中的形式证明 1.8.3 NL中的一些基本定理 小结 习题一 习题二 *第2章 非经典逻辑介绍 2.1 模态逻辑 2.1.1 模态 2.1.2 模态命题的形式化 2.1.3 模态命题形式之间的逻辑关系 2.2 多值逻辑 2.2.1 卢卡西维茨的多值逻辑系统 2.2.2 另外一些多值逻辑系统 2.3 非单调逻辑 2.4 模糊逻辑 2.5 道义逻辑 2.5.1 道义逻辑系统 2.5.2 道义逻辑的等值式与蕴含式 小结 习题一 第2篇 关系 第3章 集合基础 第4章 关系 第5章 函数 第3篇 图论 第6章 图论中的基本概念 第7章 特殊图 第4篇 代数系统 第8章 代数系统 第9章 几个特殊的代数系统 第10章 排列与组合 第11章 鸽巢原理 附录 各章习题二答案 参考文献