离散数学课程导学与知识点精要.pdfVIP

课前导学

大学搜索：离散数学不挂科

课程结构和内容

章节涉及知识点

第1课：命题逻辑（一）命题和命题联结词，命题符号化，命题，解释和真值表，的类型和等价关系

第2课：命题逻辑（二）主析取和主合取范式，基本蕴涵关系，自然演绎法推理

第3课：谓词逻辑（一）谓词符号化，谓词的解释和真值，的类型和等价关系

第4课：谓词逻辑（二）前束范式，量词推理规则，自然演绎法构造推理

第5课：集合集合的基本概念和表示，包含关系和幂集，集合运算和运算定律，无限集

第6课：二元关系关系的定义和表示，关系运算，关系的性质，闭包

第7课：特殊关系等价关系，偏序关系，全序关系，良序关系，拟序关系，相容关系

第8课：计数基础和函数容斥原理，排列组合，鸽笼原理