测试人员的离散数学预案.ppt

软件测试 第3章 测试人员的离散数学 学习目标 集合论（掌握） 函数（了解） 关系（了解） 命题逻辑（掌握） 3.1集合论 集合：作为一个单位，或一个整体引用多个事物。 集合成员关系 集合中的项叫做集合的元素或成员，这种关系采用符号∈表示。 集合定义 简单列出集合的元素 给出辨别规则 通过其他集合构建 空集 空集采用符号Φ表示 。空集不包含元素。 空集Φ是惟一的，即不会有两个空集Φ。 如果集合被决策规则定义为永远失败，则该集合是空集。 维恩图 在维恩图中，集合被表示为一个圆圈，圆圈中的点表示集合元素 维恩图以直观方式表示各种集合关系，但存在一些问题：无限集合、空集等 集合操作 集合基本操作：并、交和补 举例 给定两个集合： A= {1，3，4，7，8，10，11} B= {2，3，5，6，8，9，11}； 求A∪B， A∩B， A－B， A ⊕ B。 无序和有序对偶 无序和有序对偶的表示法一般是： 无序对偶：（a，b） 有序对偶： a，b 两者的差别是，对于a≠b， （a，b）＝（ b，a），但是 a，b ≠ b，a 这种差别对于图论很重要。 两个集合的笛卡儿集 定义 两个集合A和B的笛卡儿积（又叫叉积），是集合A×B＝{ x，y ：x ∈ A∧y ∈ B } 笛卡儿积与运算有直观的联系。集合A的势是A中元素数，用|