离散数学知识点总结.docxVIP

离散数学知识点总结

离散数学，作为现代数学的一个重要分支，主要研究具有离散结构的数学对象。它不仅是计算机科学与技术、软件工程等学科的理论基础，也在逻辑学、密码学、语言学等领域有着广泛应用。掌握离散数学的核心概念与方法，对于培养逻辑思维、抽象思维和问题解决能力至关重要。本文将对离散数学的主要知识点进行梳理与总结，力求系统与深入。

一、数理逻辑

数理逻辑是用数学方法研究推理规律的学科，其核心在于将逻辑论证符号化和形式化，从而实现推理过程的精确化。

1.1命题逻辑

命题是指一个非真即假的陈述句。命题逻辑以命题为基本单位，研究命题之间的逻辑关系和推理规则。

*连接词：常用的逻辑连接词包括否定（?）、合取（∧）、析取（∨）、蕴含（→）和等价（?）。它们用于将简单命题组合成复合命题，并确定复合命题的真值。理解这些连接词的真值表是进行逻辑演算的基础。

*真值表：用于表示命题公式在所有可能的真值指派下所取得的真值。它是判断命题公式类型（重言式、矛盾式、可满足式）以及进行等值演算的有力工具。

*等值演算：基于已知的等值式（如双重否定律、幂等律、交换律、结合律、分配律、德摩根律、吸收律、蕴含等值式、等价等值式等）对命题公式进行变换，以简化公式或判断公式间的等值关系。

*范式：包括析取范式和合取范式。合取范式是由简单析取式构成的合取式，析取范式是由简单合取式构成的析取式。主析取范式和主合取范式具有唯一性，能够清晰地展示命题公式的真值情况，是解决实际逻辑问题的重要手段。

*推理理论：研究如何由前提有效地推出结论。常用的推理规则包括前提引入规则、结论引入规则、置换规则，以及假言推理、拒取式、析取三段论、假言三段论、等价三段论、构造性二难等。自然推理系统是进行形式化推理的有效框架。

1.2一阶逻辑（谓词逻辑）

命题逻辑仅关注命题间的整体关系，而一阶逻辑则深入到命题内部，引入了个体词、谓词和量词，从而能够更精确地刻画现实世界中的复杂关系。

*基本概念：个体词是指所研究对象中可以独立存在的具体或抽象的客体；谓词是用来刻画个体词性质或个体词之间相互关系的词；量词分为全称量词（?）和存在量词（?），分别表示“所有”和“存在”。

*合式公式：一阶逻辑的合式公式（简称公式）是按照一定规则构成的符号串，包括原子公式、量词否定式、量词辖域等概念。

*解释与赋值：解释是对公式中个体域、个体常项、函数符号和谓词符号的具体设定；赋值是对自由变元的取值指派。通过解释和赋值，可以确定公式的真值。

*等值演算：一阶逻辑的等值式包括命题逻辑中等值式的代换实例、量词否定等值式、量词辖域收缩与扩张等值式、量词分配等值式等。

*前束范式：指所有量词都非否定地出现在公式的最前面，且它们的辖域都延伸到公式的末尾。任何一阶逻辑公式都存在与之等值的前束范式。

*推理理论：除了命题逻辑的推理规则外，还包括全称量词消去规则（UI）、全称量词引入规则（UG）、存在量词消去规则（EI）和存在量词引入规则（EG）。这些规则在使用时需要注意其成立的条件，以避免推理错误。

二、集合论

集合论是现代数学的基础，几乎所有的数学概念都可以用集合论的语言来描述。

2.1集合的基本概念与运算

*集合与元素：集合是由确定的、可区分的若干事物组成的整体，组成集合的事物称为元素。元素与集合之间存在属于（∈）或不属于（?）的关系。

*集合的表示方法：常用的有列举法和描述法。集合具有无序性、互异性和确定性。

*集合间的关系：包括子集（?）、真子集（?）、相等（=）。空集（?）是任何集合的子集。幂集（P(A)）是一个集合所有子集组成的集合。

*集合的运算：主要有并（∪）、交（∩）、差（-）、对称差（⊕）和补集（~或A）。这些运算具有一系列的性质，如交换律、结合律、分配律、德摩根律等，它们是集合运算和证明的基础。

2.2二元关系

关系是集合论中的核心概念，用于描述事物之间的联系。

*关系的定义：设A、B为集合，A×B的任何子集R都称为从A到B的二元关系，当A=B时，R称为A上的二元关系。

*关系的表示：可以用集合表达式、关系矩阵和关系图来表示。关系矩阵适合于计算机存储和处理，关系图则直观易懂。

*关系的性质：包括自反性、反自反性、对称性、反对称性和传递性。这些性质是对关系进行分类和研究的重要依据。

*关系的运算：包括关系的定义域、值域、逆关系、复合关系，以及关系的幂运算。

*闭包：设R是A上的关系，R的自反闭包（r(R)）、对称闭包（s(R)）和传递闭包（t(R)）分别是包含R且具有自反性、对称性和传递性的最小关系。Warshall算法是计算传递闭包的有效算法。

*等价关系与划分：等价关系是同时具有