《离散数学》读书笔记思维导图

思维导图PPT模板《离散数学》最新版读书笔记，下载可以直接修改基本概念谓词公式逻辑推理小结习题命题离散数学概念关系二元关系教材方法规则问题图应用逻辑表示本书关键字分析思维导图01内容简介第2章命题逻辑第1章绪论第3章谓词逻辑目录03020405第4章集合论第6章图论第5章二元关系习题参考答案目录070608内容摘要离散数学是现代数学的重要分支，通过离散数学的学习，学生能够得到严格的逻辑推理与抽象思维能力的训练，能够掌握数理逻辑、集合论、图论等知识。本书主要分为三部分：数理逻辑、集合论和图论。其中数理逻辑部分包括命题逻辑、谓词逻辑两章；集合论部分包括集合论和二元关系两章。本书适合作为普通高等学校计算机科学与技术、网络工程及信息管理等专业教材，也可作为高职高专、成人高校相关专业教材。内容简介第1章绪论§1.2离散数学的地位与作用§1.1什么是离散数学第1章绪论第2章命题逻辑§2.1命题与联结词§2.2命题公式及其赋值§2.3等值演算§2.4范式第2章命题逻辑§2.5命题逻辑推理习题小结第2章命题逻辑2.1.1命题的概念2.1.3描述实际问题2.1.2命题联结词§2.1命题与联结词2.2.1命题公式2.2.3命题公式的分类2.2.2公式的解释与真值表§2.2命题公式及其赋值2.3.2等值演算的应用2.3.1常用等值式§2.3等值演算2.4.1范式的基本概念2.4.2主析取范式2.4.3主合取范式2.4.4主析取范式与主合取范式的意义§2.4范式2.5.1命题逻辑推理的基本概念2.5.2命题逻辑推理规则2.5.3形式证明方法2.5.4命题逻辑推理应用§2.5命题逻辑推理第3章谓词逻辑§3.1谓词逻辑概述§3.2谓词公式与解释§3.3谓词公式的等值演算§3.4谓词推理小结习题010302040506第3章谓词逻辑3.1.2描述实际问题3.1.1谓词逻辑基本概念§3.1谓词逻辑概述3.2.1谓词的合式公式3.2.2自由变元和约束变元3.2.3谓词公式的解释3.2.4谓词公式的分类§3.2谓词公式与解释3.3.1谓词公式置换规则3.3.2变元换名规则3.3.3量词等值式3.3.4谓词公式的范式§3.3谓词公式的等值演算3.4.1谓词逻辑推理规则3.4.3谓词逻辑推理的应用3.4.2谓词逻辑推理常见问题§3.4谓词推理第4章集合论§4.1集合的表示和基本概念§4.2集合的运算§4.3集合的计数小结习题12345第4章集合论4.1.1集合与元素4.1.3集合的基本概念4.1.2集合的表示§4.1集合的表示和基本概念4.3.1有限集中元素的数量4.3.3鸽笼原理4.3.2容斥原理§4.3集合的计数第5章二元关系§5.1二元关系的基本概念§5.2关系运算§5.3关系的性质§5.4关系的闭包第5章二元关系§5.5等价关系§5.6偏序关系小结习题第5章二元关系5.1.1有序对与有序n元组5.1.2笛卡儿积5.1.3二元关系的定义5.1.4二元关系的表示§5.1二元关系的基本概念5.2.2关系运算相关定理5.2.1关系的基本运算§5.2关系运算5.3.1关系的基本性质5.3.3关系运算与关系的性质5.3.2性质的判断方法§5.3关系的性质5.4.2闭包运算方法5.4.1关系闭包的概念§5.4关系的闭包5.5.1等价关系的概念5.5.3集合的划分5.5.2等价类§5.5等价关系5.6.2哈斯图5.6.1偏序关系的概念§5.6偏序关系第6章图论§6.1图的基本概念§6.2图的连通性§6.3特殊图小结习题12345第6章图论6.1.1无向图6.1.3图的矩阵表示6.1.2有向图§6.1图的基