离散单元知识点总结.docVIP

离散单元知识点总结

一、离散数学概述

离散数学是研究离散量结构的数学分支，主要包含逻辑、集合、函数、图论、组合数学、数论等内容。离散数学在计算机科学、信息论、密码学等领域有广泛应用。

1.1逻辑

逻辑是研究思维规律和推理规则的数学分支，主要包括命题逻辑和谓词逻辑。

1.1.1命题逻辑

命题逻辑研究命题及其组合的真值问题，主要包含命题、联结词、真值表、对偶式、范式等概念。

1.1.2谓词逻辑

谓词逻辑在命题逻辑基础上引入量词和谓词，研究命题内部结构和推理规则，主要包含谓词、量词、谓词公式、推理规则等概念。

1.2集合

集合是具有某种特定性质的对象的全体，主要包含集合的表示、运算、关系、函数等概念。

1.2.1集合的表示

集合的表示方法主要有列举法、描述法、集合运算法等。

1.2.2集合的运算

集合的运算主要包括并集、交集、差集、补集等。

1.2.3集合的关系

集合的关系主要包括包含关系、相等关系、幂集等。

1.2.4集合的函数

集合的函数是集合间的一种特殊关系，主要包含单射、满射、双射等概念。

1.3函数

函数是两个集合间的一种对应关系，主要包含函数的定义、性质、类型等概念。

1.3.1函数的定义

函数是两个集合间的一种对应关系，对于定义域中的每一个元素，都有唯一的一个值与之对应。

1.3.2函数的性质

函数的性质主要包括单射性、满射性、双射性等。

1.3.