北京第二外国语学院离散数学期末试卷.docxVIP

北京第二外国语学院离散数学期末试卷 北京第二外国语学院离散数学期末试卷涉及的内容主要包括集合论、命题逻辑、谓词逻辑、图论、组合数学等。以下是针对每个知识点的参考内容，总共超过800字：1. 集合论：- 集合的基本概念：元素、集合、空集、子集、真子集、集合相等等。- 集合运算：并集、交集、差集、补集等。- 集合的运算律：交换律、结合律、分配律等。- 集合的基数：有限集合的基数是确定的，无限集合的基数可以表示为可数集或不可数集。- 等价关系：自反性、对称性、传递性等。- 集合的划分：集合的划分与等价关系的联系。- 鸽巢原理：如果n+1个物体放入n个盒子中，至少存在一个盒子里有两个物体。2. 命题逻辑：- 命题：具有真值（真或假）的陈述句。- 命题连接词：非、与、或、蕴含、等价等。- 命题公式：由命题和命题连接词通过组合而成。- 真值表：表示命题公式中各个命题连接词的真值情况。- 逻辑运算律：同一律、互异律、零律、否定律、交换律、结合律、分配律等。- 范式：合取范式和析取范式。- 归结演算：通过归结规则、归结树等进行推理。3. 谓词逻辑：- 谓词与量词：对命题逻辑中的命题进行推广。- 全称量词和存在量词：表示所有和存在的意思。- 谓词逻辑的公式：谓词、变量、量词和逻辑连接词的组合。- 真值表：表示谓词逻辑公式的真值情况。- 推理规则：全称