本书主要介绍了离散数学的基本内容和一些简单应用。全书共分5章,分别介绍命题逻辑、谓词逻 辑、集合论、二元关系和图论。本书整体结构清晰,概念清楚,**突出。为了方便学生理解、掌握所学 知识,本书配有大量习题,分别以判断题、单项选择题、不定项选择题、解答题等形式呈现,题目通俗易 懂,做题灵活,方便学生随堂测试。本书是江苏省教育科学“十三五”规划研究课题的专项成果。 本书可作为本科院校计算机科学与技术、软件工程、医学信息学以及其他理工科专业的教材,也可 供喜爱离散数学的有关人员阅读。

第1章命题逻辑1 1.1命题与表示1 1.2联结词3 1.3命题公式与真值表示6 1.4对偶与范式10 1.5推理15 1.6联结词功能集19 1.7习题21 第2章谓词逻辑25 2.1谓词与命题函数25 2.2谓词公式与翻译27 2.3前束范式31 2.4谓词推理33 2.5习题34 第3章集合论37 3.1集合与表示37 3.2集合运算39 3.3集合的计数与划分44 3.4集合的基数47 3.5习题49 第4章二元关系53 4.1关系及其表示53 4.2关系的性质57 4.3关系的等价63 4.4序关系65 4.5函数67 4.6习题71 第5章图论75 5.1图的概念75 5.2路与回路80 5.3图的矩阵形式83 5.4欧拉图与哈密顿图87 5.5平面图与着色89 5.6无向树与生成树93 5.7有向树与应用95 5.8习题100 附录习题解答105 第1章命题逻辑105 第2章谓词逻辑110 第3章集合论112 第4章二元关系115 第5章图论118