内容提要集合的表示方法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)推论?设
Click to edit Master text stylesSecond levelThird levelFourth levelClick to edit Master title styleHome}目录Home}目录Home}目录§6.1 集合的基本概念 §6.2 集合的运算第六章 集合代数§6.3 集合恒等式 集合是不能精确定义的基本概念所谓集合是指我们无意中或思想中将一些确定的彼
Click to edit Master title styleClick to edit Master text stylesSecond levelThird levelFourth levelFifth level集合是数学中最为基本的概念又是数学各分支自然科学及社会科学各领域的最普遍采用的描述工具集合论是离散数学的重要组成部分是现代数学中占有独特地位的一个分支 G.康托尔是作为数学分支的集
注意:数组在创建之后其长度就不能再改变但可以把数组的引用指向一个新的数组 举例: int myArray[]=new int[6]myArray=new int[10] 注意:如果没有别的引用指向第一个数组则在第一个数组中的数据将会全部丢失(被垃圾回收器给回收)10088:4406null?Student[] ss?ss=new Student[3]?ss[0]=new Studen
集合代数离散数学:第二讲上一讲内容的回顾集合与元素集合的表示集合相等空集与(相对)全集幂集罗素悖论基本的集合运算集合代数基本的证明方式 直接使用集合包含或相等定义 利用运算定义作逻辑等值式推演 利用已知恒等式或等式作集合代数推演 循环证明一系列逻辑等值式 关于文氏图的进一步讨论有限集合的计数包含-排斥原理广义并与广义交运算的重要性质 (1)包含关系下两个集合的最小上界和最大下界 A?A?B, B?
集合代数离散数学:第二讲上一讲内容的回顾集合与元素集合的表示集合相等空集与(相对)全集幂集罗素悖论基本的集合运算集合代数基本的证明方式 直接使用集合包含或相等定义 利用运算定义作逻辑等值式推演 利用已知恒等式或等式作集合代数推演 循环证明一系列逻辑等值式 关于文氏图的进一步讨论有限集合的计数包含-排斥原理广义并与广义交运算的重要性质 (1)包含关系下两个集合的最小上界和最大下界 A?A?B, B?
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级北京传智播客教育 .itcast—高级软件人才实作培训专家—高级软件人才实作培训专家单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级北京传智播客教育 .itcast北京传智播客教育 .itcastJava 预热班讲义讲师:毕向东北京传智播客教育 .itc
集合代数离散数学:第二讲上一讲内容的回顾集合与元素集合的表示集合相等空集与(相对)全集幂集罗素悖论基本的集合运算集合代数基本的证明方式 直接使用集合包含或相等定义 利用运算定义作逻辑等值式推演 利用已知恒等式或等式作集合代数推演 循环证明一系列逻辑等值式 关于文氏图的进一步讨论有限集合的计数包含-排斥原理广义并与广义交运算的重要性质 (1)包含关系下两个集合的最小上界和最大下界 A?A?B, B?
1集合与集合之间的关系:? = ? ? ? ?定义 A ? B ? ?x ( x?A ? x?B )定义 A = B ? A ? B ? B ? A定义 A ? B ? A ? B ? A ? B A ? B ? ?x ( x?A ? x?B ) 思考:? 和 ? 的定义 注意 ? 和 ? 是不同层次的问题AA–B14?(A?B)
1.格作为偏序集定义 设<L≤>是一个偏序集若对任意ab?L存在glb{ab}和lub{ab}则称<L≤>为格并记为ab=glb{ab}a?b=lub{ab}称?和?分别为L上的交(或积)和并(或和)运算称<L?>为<L≤>所诱导的代数结构的格若L是有限集合称<L≤>为有限格定理 设<L≤>是有限格其中L={a1a2···an}则<L≤>是有界格定义0 设<L?>和<S??>是格存在函数f:
违法有害信息,请在下方选择原因提交举报