随笔分类 -  集合论-数理逻辑

摘要：放入接口中的任何域（成员变量）都自动是 static 和 final 的；1. 包含抽象方法的常规接口2. 全部是常量的 接口类中的方法和属性不要添加任何修饰符号（public 也不需要）。因为放入接口中的任何域（成员变量）都自动是 static 和 final 的... 阅读全文

摘要：1. 基本概念类和元素：类是对象的一个汇集；符号 a∈A 的意思是对象 a 属于类 A；2. power set（幂集）幂集（power set）通过子集（subsets）来定义，{x, y, z} 的全部子集（23=8）为：{}, {x}, {y}, {z}, {x... 阅读全文

摘要：De Morgan’s laws A∪B¯¯¯¯¯¯¯¯¯A∩B¯¯¯¯¯¯¯¯¯=A¯¯¯∩B¯¯¯,=A¯¯¯∪B¯¯¯,1. 德摩根定律与 σ 代数σ 代数需要满足：(1). ϕ∈A，(2). A∈A ⇒ Ac∈A(3). Ai∈A ⇒ ∪iAi∈A由 (1... 阅读全文