目录
对称差
数学上,两个集合的对称差是只属于其中一个集合,而不属于另一个集合的元素组成的集合。 集合论中的这个运算相当于布尔逻辑中的异或运算。 集合A和B的对称差通常表示为A\triangle B,对称差的符号在有些图论书籍中也使用\oplus符号来表示。例如:集合\和\的对称差为\。所有学生的集合和所有女性的集合的对称差为所有男性学生和所有女性学生组成的集合。.
查看 布尔环和对称差
布尔代数
在抽象代数中,布尔代数(Boolean algebra)是捕获了集合运算和逻辑运算二者的根本性质的一个代数结构(就是说一组元素和服从定义的公理的在这些元素上运算)。特别是,它处理集合运算交集、并集、补集;和逻辑运算与、或、非。 例如,逻辑断言陈述a和它的否定¬a不能都同时为真, 相似于集合论断言子集A和它的补集AC有空交集, 因为真值可以在逻辑电路中表示为二进制数或电平,这种相似性同样扩展到它们,所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数,在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格(特殊的偏序集合)是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑的所有子集按照包含排序的格。这个布尔格是偏序集合,在其中 ≤ 。任何两个格的元素,比如p .
查看 布尔环和布尔代数
并集
在集合论和数学的其他分支中,一组集合的并集(台湾叫做聯--集、港澳叫做--、大陆叫做--)是这些集合的所有元素构成的集合,而不包含其他元素。.
查看 布尔环和并集
交换环
在抽象代数之分支环论中,一个交换环(commutative ring)是乘法运算满足交换律的环。对交换环的研究称为交换代数学。 某些特定的交换环在下列类包含链中:.
查看 布尔环和交换环
冪等
在數學裡,冪等有兩種主要的定義。.
查看 布尔环和冪等
环 (代数)
环(Ring)是由集合R和定义于其上的两种二元运算(记作+和·,常被简称为加法和乘法,但与一般所说的加法和乘法不同)所构成的,符合一些性质(具体见下)的代数结构。 环的定義类似于交换群,只不过在原来「+」的基础上又增添另一种运算「·」(注意我们这里所说的 + 與 · 一般不是我们所熟知的四则运算加法和乘法)。在抽象代数中,研究环的分支为环论。.
查看 布尔环和环 (代数)
理想 (序理论)
在数学分支序理论中,理想是偏序集合的一個特殊子集。尽管这个术语最初演化自抽象代数中环理想概念,它后来被一般化为一个不同的概念。理想对于序理论和格理论中的很多构造是非常重要的。.
查看 布尔环和理想 (序理论)
集合域
在数学中,集合域是有序对,其中 X 是集合,F 是 X 上的代数。.
查看 布尔环和集合域
集合代数
集合代数发展并描述了集合的基本性质和规律,集合论运算,如并集、交集、补集,以及集合的关系,如等于、包含。这门学科系统研究如何来表达和进行上述的运算和关系的操作。.
查看 布尔环和集合代数
模算數
模算數(modular arithmetic)是一個整数的算术系統,其中數字超過一定值後(稱為模)後會「捲回」到較小的數值,模算數最早是出現在卡爾·弗里德里希·高斯在1801年出版的《算术研究》一書中。 模算數常見的應用是在十二小時制,將一天分為二個以十二小時計算的單位。假設現在七點,八小時後會是三點。用一般的算術加法,會得到,但在十二小時制中,超過十二小時會歸零,不存在「十五點」。類似的情形,若時鐘目前是十二時,二十一小時後會是九點,而不是三十三點。小時數超過十二後會再回到一,為模12的模算數系統。依照上述的定義,12和12本身同餘,也和0同餘,因此12:00的時間也可以稱為是0:00,因為模12時,12和0同餘。.
查看 布尔环和模算數