第三章测试人员的离散数学.ppt

第1页，共34页，星期日，2025年，2月5日集合论东北大学软件学院关于集合，是它使我们能够作为一个单位，或一个整体引用多个事物。例如，我们可能要引用正好有30天的月份。采用集合论表示法可以写为：M1={4月，6月，9月，11月)第2页，共34页，星期日，2025年，2月5日集合成员关系东北大学软件学院集合中的项叫做集合的元素或成员，这种关系采用符号∈表示。这样我们可以有4月∈M1。如果事物不是集合成员，则使用符号表示，可以有12月M1第3页，共34页，星期日，2025年，2月5日集合的定义东北大学软件学院集合有三种方式定义：简单列出集合的元素； Y={1812，1813，1814，……，2011，2012}给出辨别规则； Y={年：1812≤年≤2012} 决策规则定义集合必须是无歧义的。N={t：t是近似三角形}决策规则定义可以解决集合元素很难列出的集合。S={销售：15%的佣金率适用于该销售额}通过其他集合构建；第4页，共34页，星期日，2025年，2月5日空集东北大学软件学院空集采用符号表示，在集合论中占有特殊位置。空集不包含元素。空集是惟一的，即不会有两个空集。，{}，{{}}都是不同的集合。如果集合被决策规则定义为永远失败，那么该集合就是空集。例如，={年：2012≤年≤1812}第5页，共34页，星期日，2025年，2月5日维恩图东北大学软件学院在维恩图中，集合被表示为一个圆圈，圆圈中的点表示集合元素。4月11月9月6月U有30天的月份集合的维恩图第6页，共34页，星期日，2025年，2月5日集合操作东北大学软件学院集合基本操作：并、交和补。其他便利的操作：相对补、对称差和笛卡尔积。第7页，共34页，星期日，2025年，2月5日集合操作定义东北大学软件学院假设某个论域空间U包含两个集合A和B。定义使用来自谓词演算的逻辑连接符，与(∧)、或(∨)、异或(⊕)和非(﹁)。定义给定集合A和B，其并是集合A∪B={x：x∈A∨x∈B}。其交是集合A∩B={x：x∈A∧x∈B}。A的补是集合A’={x：xA}。B针对A的相对补是集合A-B={x：x∈A∧x∈B}。A和B的对称差是集合A⊕B={x：x∈A⊕x∈B}。第8页，共34页，星期日，2025年，2月5日基本集合的维恩图东北大学软件学院第9页，共34页，星期日，2025年，2月5日笛卡儿积东北大学软件学院笛卡儿积取决于有序对偶的概念，即两个元素集合中的元素顺序是重要的。无序和有序对偶的表示法一般是：无序对偶：(a，b)有序对偶：a，b两者的差别是，对于a≠b，(a，b)=(b，a)，但是a，b≠b，a第10页，共34页，星期日，2025年，2月5日笛卡儿积的定义东北大学软件学院定义两个集合A和B的笛卡儿积，是集合A×B={x，y：x∈A∧y∈B}举例：集合A：(1，2，3)和B：w，x，y，z)的笛卡儿积是集合：A×B={1,w,1,x,l,y,1，z,2,w,2,x,2,y,2,z,3，w，3，x，3，y，3,z}第11页，共34页，星期日，2025年，2月5日集合的势东北大学软件学院集合A的势是A中的元素数，采用表示。对于集合A和B，=×AA×BAB第12页，共34页，星期日，2025年，2月5日集合关系东北大学软件学院定义A是B的子集，记做AB，当且仅当a∈A=a∈B。A是B的真子集，记做AB，当且仅当AB∧B-A≠。A和B是相等集合，记做A=B，当且仅当AB=BA。第13页，共34页，星期日，2025年，2月5日子集划分东北大学软件学院定义给定集合B，以及B的一组子集Al、A2、……、An，这些子集是B的一个划分，当且仅当：Al∪A2∪…∪An=B，且i≠j=Ai∩Aj=空集划分对测试人员很有用，因为两个界定性质会产生重要保证：完备性(任何事物都在某处)和无冗余性。第14页，共34页，星期日，2025年，2月5日集合恒等式东