Click to edit Master title styleClick to edit Master text stylesSecond levelThird levelFourth levelFifth level集合是数学中最为基本的概念又是数学各分支自然科学及社会科学各领域的最普遍采用的描述工具集合论是离散数学的重要组成部分是现代数学中占有独特地位的一个分支 G.康托尔是作为数学分支的集
Massachusetts Insti
Click to edit Master text stylesSecond levelThird levelFourth levelClick to edit Master title styleHome}目录Home}目录Home}目录§6.1 集合的基本概念 §6.2 集合的运算第六章 集合代数§6.3 集合恒等式 集合是不能精确定义的基本概念所谓集合是指我们无意中或思想中将一些确定的彼
内容提要集合的表示方法1指定范围Z{{d}}?集合相等(equal)B = 1{1}{2}{3}B图例例由文氏图也可得知不能被56和8整除的数有1000-(2001003367)600个 ? 设A和B是任意有限集合有A∪B = AB-A∩B分析? 由图容易看出A∪B = (A - B)∪(A∩B)∪(B - A)A = ( A - B)∪(A∩B)B = (A∩B)∪(B - A)推论?设
集合代数离散数学:第二讲上一讲内容的回顾集合与元素集合的表示集合相等空集与(相对)全集幂集罗素悖论基本的集合运算集合代数基本的证明方式 直接使用集合包含或相等定义 利用运算定义作逻辑等值式推演 利用已知恒等式或等式作集合代数推演 循环证明一系列逻辑等值式 关于文氏图的进一步讨论有限集合的计数包含-排斥原理广义并与广义交运算的重要性质 (1)包含关系下两个集合的最小上界和最大下界 A?A?B, B?
集合代数离散数学:第二讲上一讲内容的回顾集合与元素集合的表示集合相等空集与(相对)全集幂集罗素悖论基本的集合运算集合代数基本的证明方式 直接使用集合包含或相等定义 利用运算定义作逻辑等值式推演 利用已知恒等式或等式作集合代数推演 循环证明一系列逻辑等值式 关于文氏图的进一步讨论有限集合的计数包含-排斥原理广义并与广义交运算的重要性质 (1)包含关系下两个集合的最小上界和最大下界 A?A?B, B?
Introduction
集合代数离散数学:第二讲上一讲内容的回顾集合与元素集合的表示集合相等空集与(相对)全集幂集罗素悖论基本的集合运算集合代数基本的证明方式 直接使用集合包含或相等定义 利用运算定义作逻辑等值式推演 利用已知恒等式或等式作集合代数推演 循环证明一系列逻辑等值式 关于文氏图的进一步讨论有限集合的计数包含-排斥原理广义并与广义交运算的重要性质 (1)包含关系下两个集合的最小上界和最大下界 A?A?B, B?
#
#
违法有害信息,请在下方选择原因提交举报