离散数学-集合论-集合代数（6）

一、集合的基本概念

1、集合

1.1 集合的定义

一些离散个体组成的全体，组成集合的个体称为它的元素或成员。

1.2 集合的表示

1.列元素法： A = { a, b, c, d }

2.谓词表示法：B = { x | P(x) } B 由使得 P(x) 为真的 x 构成。

1.3 集合与元素的关系：属于，不属于

例如：

对于任何集合 B 和元素 x (可以是集合)，x$\in$B和 x$\notin$B两者成立其一，且仅成立其一.

1.4 集合之间的关系

1.5 空集与全集

1.6 幂集

二、集合的运算

例如：
设A={{a},{a,b}}求∪∪A-∪∩A
解：
∪A={a}∪{a,b}={a,b}
∪∪A=a∪b
∩A={a}∩{a,b}={a}
∪∩A=a
∪∪A-∪∩A=a∪b-a=b-a

三、有穷集计数

1.集合的基数与有穷集合

2.容斥原理（包含排斥原理）

例如：1.一个学校有 507,292,312 和 344 个学生分别选了微积分、离散数学、数据结构、程序设计语言课，且有 14 人选了微积分和数据结构课，213 人选了微积分和程序设计语言课．211 人选了离散数学和数据结构课，43 人选了离散数学和程序设计语言课，没有学生同时选微积分和离散数课，也没有学生同时选数据结构和程序设计语言课．问有多少学生在微积分、离散数学、数据结构和程序设计语言中选了课．
解：

四、集合恒等式

五、集合包含或相等的证明方法

1.证明集合包含

(1) 命题演算法

(2) 包含传递法

(3) 等价条件法

(4) 反证法

(5) 并交运算法

2 证明集合相等

(1) 命题演算

(2) 等式代入法

(3) 反证法

(4) 运算法