大学离散数学重点章节复习资料.docxVIP

大学离散数学重点章节复习资料

离散数学作为计算机科学与技术、软件工程等相关专业的核心基础课程，其概念抽象、逻辑性强，对后续课程的学习及逻辑思维能力的培养至关重要。本复习资料旨在梳理各重点章节的核心内容与关键知识点，帮助同学们巩固基础，理清脉络，提升复习效率。

一、数理逻辑

数理逻辑是离散数学的基石，主要研究推理的数学方法，包括命题逻辑和谓词逻辑两大块。

1.1命题逻辑

*核心内容：

*命题与联结词：理解命题的定义（能判断真假的陈述句），掌握常用逻辑联结词（否定、合取、析取、蕴含、等价）的含义、符号表示及真值表。特别注意“蕴含”联结词的逻辑关系，以及不同联结词的优先级顺序。

*命题公式与赋值：命题公式的定义，公式的解释与赋值，真值表的构造方法。理解重言式（永真式）、矛盾式（永假式）和可满足式的概念及其判别。

*等值演算：熟记基本的等值式（如双重否定律、幂等律、交换律、结合律、分配律、德摩根律、吸收律、蕴含等值式、等价等值式等），掌握运用等值演算进行公式化简与证明的技巧。

*范式：理解析取范式与合取范式的概念，掌握求命题公式的主析取范式和主合取范式的方法（真值表法、等值演算法）。理解主范式与成真赋值、成假赋值的对应关系，以及其在判断公式类型、证明等值式等方面的应用。

*推理理论：掌握命题逻辑的推理规则（如前提引入、结论引入、置换规则、假言推理、拒取式、析取三段论、假言三段论、等价三段论、构造性二难等）。理解自然推理系统的概念，能够运用直接证明法、附加前提证明法（CP规则）和归谬法（反证法）进行有效推理证明。

*复习建议：命题逻辑的核心在于理解“真”与“假”的运算规律。多做等值演算和推理证明的练习，熟练掌握主范式的求解，这对于解决实际问题非常有帮助。

1.2谓词逻辑

命题逻辑的扩展，引入了个体词、谓词和量词，以表达更复杂的语义。

*核心内容：

*基本概念：个体词（个体常项、个体变项、个体域、全总个体域），谓词（一元谓词、多元谓词），量词（全称量词、存在量词）。

*谓词公式与解释：谓词公式的定义，指导变元、约束变元与自由变元的概念，以及约束变元的换名规则和自由变元的代入规则。谓词公式的解释及其真值的确定。

*等值式与前束范式：掌握量词否定等值式、量词辖域收缩与扩张等值式、量词分配等值式。理解前束范式的定义，掌握将谓词公式化为前束范式的方法。

*谓词逻辑的推理理论：掌握量词消去与引入规则（全称指定US、全称推广UG、存在指定ES、存在推广EG），并能运用这些规则进行谓词逻辑的推理证明。

*复习建议：重点关注量词的作用与辖域，以及在推理过程中量词规则的正确使用，避免出现“虚假存在”或“不当推广”等错误。

二、集合论

集合论是现代数学的基础，离散数学中的许多概念都建立在集合论之上。

2.1集合的基本概念与运算

*核心内容：

*集合的概念：集合的定义，元素与集合的关系，集合的表示方法（列举法、描述法），集合的基本特性（确定性、互异性、无序性）。

*集合间的关系：子集、真子集、相等，空集，全集，幂集及其性质。

*集合的运算：并、交、差、补（绝对补、相对补）、对称差运算的定义及其运算律（交换律、结合律、分配律、德摩根律等）。

*集合恒等式的证明：利用集合运算的基本定律、定义或membershiptable证明集合恒等式。

*复习建议：熟练掌握集合的各种运算及其性质，能够灵活运用定义法和公式法证明集合间的关系与恒等式。幂集的概念及计算是常考知识点。

2.2二元关系

关系是集合论中的重要概念，广泛应用于计算机科学的各个领域。

*核心内容：

*关系的定义：二元关系（集合笛卡尔积的子集），关系的表示方法（集合表示、关系矩阵、关系图）。

*关系的运算：定义域、值域，关系的并、交、补、差运算，关系的复合运算及其性质，关系的逆运算及其性质。

*关系的性质：自反性、反自反性、对称性、反对称性、传递性。判断给定关系是否具有这些性质（从定义、关系矩阵、关系图三个角度）。

*关系的闭包：自反闭包、对称闭包、传递闭包的定义及构造方法（特别是Warshall算法求传递闭包）。

*等价关系与划分：等价关系的定义（自反、对称、传递），等价类的概念与性质，商集，集合的划分，等价关系与划分的一一对应。

*偏序关系：偏序关系的定义（自反、反对称、传递），哈斯图，偏序集中的特殊元素（极大元、极小元、最大元、最小元、上界、下界、上确界、下确界）。

*复习建议：关系的性质及其判断是基础，等价关系与偏序关系是重中之重，要深刻理解其定义，并能在具体问题中准确识别和应用。关系的复合与闭包计算也需要熟练掌握。

2.3