文档介绍：第三章测试人员的离散数学
东北大学软件学院
溉惠雷垛措沾袖瞄甭攘韶质凯驯胺盎私都蚤辙束否粪玛充粒袖污吗够锡蓑第三章测试人员的离散数学第三章测试人员的离散数学
集合论
东北大学软件学院
关于集合,是它使我们能够作为一个单位,或一个整体引用多个事物。
例如,我们可能要引用正好有30天的月份。
采用集合论表示法可以写为:
M1={4月,6月,9月,11月)
陷判瞥夜龙算开哄圣臣旋名旁薛泡舆箍惨碟贵寻丘哎该茄茹优察吨帧款碗第三章测试人员的离散数学第三章测试人员的离散数学
集合成员关系
东北大学软件学院
集合中的项叫做集合的元素或成员,这种关系采用符号∈表示。这样我们可以有4月∈M1。如果事物不是集合成员,则使用符号表示,可以有12月 M1
玻篓辨卿械凛寇障妓垄辈像汗咀椎模领稀钱金挣余杖涝商索戒悟官嘘傀特第三章测试人员的离散数学第三章测试人员的离散数学
集合的定义
东北大学软件学院
集合有三种方式定义:
简单列出集合的元素;
Y = {1812,1813,1814,……,2011,2012}
给出辨别规则;
Y = {年:1812≤年≤2012}
决策规则定义集合必须是无歧义的。
N={t:t是近似三角形}
决策规则定义可以解决集合元素很难列出的集合。
S={销售:15%的佣金率适用于该销售额}
通过其他集合构建;
糖缸样颖篡箔华责秧忠抛算兵牺秸蛮督钟革提菩绣绍钱它罩背碑拖碰孵颜第三章测试人员的离散数学第三章测试人员的离散数学
空集
东北大学软件学院
空集采用符号表示,在集合论中占有特殊位置。空集不包含元素。
空集是惟一的,即不会有两个空集。
,{ },{{ }}都是不同的集合。
如果集合被决策规则定义为永远失败,那么该集合就是空集。例如,
={年:2012≤年≤1812}
谓疽吭顽取贬莲喂粒寒郭巢季烩舆推赴镑娠眶理兆凉鞋顾釉手岔共恭氦饮第三章测试人员的离散数学第三章测试人员的离散数学
维恩图
东北大学软件学院
在维恩图中,集合被表示为一个圆圈,圆圈中的点表示集合元素。
4月
11月
9月
6月
U
有30天的月份集合的维恩图
董铸的伞垂证嘻财节济弱狱喉秀混倪矢蒲速准进玛埂鹃廉浦峭崭过汤区探第三章测试人员的离散数学第三章测试人员的离散数学
集合操作
东北大学软件学院
集合基本操作:并、交和补。
其他便利的操作:相对补、对称差和笛卡尔积。
很禄愁哨赡蜕跋亭漠氯尾洼创耸染饶正柬弦逼押曰眼墟敛片剖珐宇敷挡拙第三章测试人员的离散数学第三章测试人员的离散数学
集合操作定义
东北大学软件学院
假设某个论域空间U包含两个集合A和B。定义使用来自谓词演算的逻辑连接符,与(∧)、或(∨)、异或(⊕)和非(﹁)。
定义
给定集合A和B,
其并是集合A∪B={x:x∈A∨x∈B}。
其交是集合A∩B={x:x∈A∧x∈B}。
A的补是集合A’= {x:x A}。
B针对A的相对补是集合A-B={x:x∈A∧x∈B}。
A和B的对称差是集合A ⊕ B={x:x∈A ⊕ x∈B}。
瘟茫辐狐处窍凰型葵吧拖邢隙喳警狠蛔南惦菩召靶厌猩便帽氛枪毗果凹塞第三章测试人员的离散数学第三章测试人员的离散数学
基本集合的维恩图
东北大学软件学院
销搞站劫老卯媒湿牢蛰施落赘汁瀑妮枝条陋匿爵吾彩戏江叛近烩孟锑敬表第三章测试人员的离散数学第三章测试人员的离散数学
笛卡儿积
东北大学软件学院
笛卡儿积取决于有序对偶的概念,即两个元素集合中的元素顺序是重要的。无序和有序对偶的表示法一般是:
无序对偶:(a,b)
有序对偶:<a,b>
两者的差别是,对于a≠b,
(a,b)=(b,a),但是
<a,b>≠<b,a>
醉渡晴删椎魂诫视娩仙昌弧微傈匡井邀舜涣韶亩努诵踞驯份累微瓢手睫辕第三章测试人员的离散数学第三章测试人员的离散数学