1、Software Testing 软件测试Software Testing 第 3章 测试人员的离散数学学习目标 集合论（掌握） 函数（了解） 关系（了解） 命题逻辑（掌握）3.1集合论 集合 ：作为一个单位，或一个整体引用多个事物。 集合成员关系 集合中的项叫做集合的元素或成员 ，这种关系采用符号 表示。集合定义简单列出集合的元素给出辨别规则通过其他集合构建无歧义定义清晰很难列举空集空集采用符号 表示 。空集不包含元素。空集 是惟一的，即不会有两个空集 。如果集合被决策规则定义为永远失败，则该集合是空集。 维恩图 在维恩图中，集合被表示为一个圆圈，圆圈中的点表示集合元素 维恩图以直观方式表示
2、各种集合关系，但存在一些 问题 ： 无限集合、空集等4月月11月月9月月6月月U集合操作集合基本操作：并、交和补 定义 给定集合 A和 B， 其 并 是集合 A B x： x A x B 。 其 交 是集合 AB 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 BA B A BABAAA BA-BA BABA B（ A B） -（ AB）举例 给定两个集合：A= 1， 3， 4， 7， 8， 10， 11 B= 2， 3， 5， 6， 8， 9， 11； 求 A B， AB， A B， A B。无序和有序对偶 无序和有序对偶的表示法一般是：无序对偶：（ a， b）有序对偶： 两者的差别是，对于 ab，（ a， b）（ b， a），但是这种差别对于 图论 很重要。
