词条 布尔代数

布尔代数

布尔代数也叫做布尔格。关联于格(特殊的偏序集合)是在集合包含AB和次序ab之间的相似所预示的。考虑{x,y,z}的所有子集按照包含排序的格。这个布尔格是偏序集合,在其中{x} ≤ {x,y}。任何两个格的元素,比如p = {x,y}和q = {y,z},都有一个最小上界,这里是{x,y,z},和一个最大下界,这里是{y}。这预示了最小上界(并或上确界)被表示为同逻辑OR一样的符号pq;而最大下界(交或下确界)被表示为同逻辑AND一样的符号pq

这种格释义有助于一般化为海廷代数,它是免除要么一个陈述要么它的否定必须为真的限制的布尔代数。海廷代数对应于直觉逻辑,而布尔代数对应于经典逻辑。

布尔代数又译为布林代数,然而布尔代数得名于乔治·布尔,他是爱尔兰科克的皇后学院的英国数学家。布林(boolean)在英文中的意思是“布尔的”,这是为了表彰布尔的贡献,而“布林”只是一种音译。

布尔代数相关文献
代数
历史希腊数学家欧几里得在其著作几何原本中详述几何性的代数。代数的起源可以追溯到古巴比伦的时代,当时的人们发展出了较之前更进步的算术系统,使其能以代数的方法来做计算。经由此系统的被使用,他们能够列出含有未知数的方程并求解,这些问题在今日一般是使用线性方程、二次方程和不定线性方程等方法来解答的。相对地,这一时期大多数的埃及人及公元前1世纪大多数的印度、希腊和中国等数学家则一般是以几何方法来解答此类问题的,如在莱因德数学纸草书、绳法经、几何原本及九章算术等书中所描述的一般。希腊在几何上的工作,以几何原本为其经典,提供了一个将解特定问题解答的公式广义化成描述及解答方程之更一般的系统之架构。代数(algebra)导源于阿拉伯语单字“al-jabr”,其出自al-Kitābal-muḫtaṣarfīḥisābal-ğabrwa-l-muqābala这本书的书名上,意指移项和合并同类项之计算的摘要,其为...
查看全文
代数群
参见代数簇文献BriandConrad,AModernProofofChevalley"sTheoremonAlgebraicGroups.Humphreys,J.E.,Linearalge
查看全文
泛代数
基本构思从泛代数角度来看,代数是个集合A拥有一组算子。在A上的一个n元运算是个函数以n个A的元素为输入并返回一个A的元素。无元运算:产生常数a单元运算:例如~x二元运算:x*y除了运算,还有符合一些公理及方程式定律,例如结合律、交换律等等。相关条目调和分析测度分析微分几何及拓扑代数拓扑代数几何抽象代数
查看全文
代数
定义设A{displaystyleA}为一交换环,A{displaystyleA}上的代数(或称A{displaystyleA}-代数)是下述结构:集合E{displaystyleE}是个A{
查看全文
外代数
定义及运算律外代数有很多种等价的定义,下面的定义是最简洁的一个。定义:设V{displaystyleV}是域K{displaystyleK}上的一个向量空间,让Tk(V):=V⊗⊗-->⋯⋯
查看全文
布尔代数相关标签
布尔代数
序理论
代数逻辑
代数结构
格理论