词条 布尔代数

布尔代数

布尔代数也叫做布尔格。关联于格(特殊的偏序集合)是在集合包含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⊗⊗-->⋯⋯
查看全文
布尔代数相关标签
布尔代数
序理论
代数逻辑
代数结构
格理论
家族谱大览
2.夫椒柴泉杭氏宗谱, 2, 卷2, 目录 世系代数 世系图: 伯徐 恽公 1世道善公起, 2014
原书: [出版地不详] : 敦本堂, 公元2014年九修. 8册: 插图, 地图, 照片, 世系表. 远祖: 杭伯徐. 长沙太守. 始祖: (唐) 杭恽,字永昌,号心斋. 任右金吾将军. 为柴泉始祖. 敦本堂始祖(1世): (元明之际) 杭道善,字符一,号冠椒. 恽公27世孙. 复居寨前(柴泉, 今属无锡市滨湖区马山镇). 道善公派下支祖(3世): (明) 杭敏言,字常吉,号耀庭 ; 杭敏信,字履泰,号汇吉. 注: 此谱排序以敏信公为先. 敏信公下派祖(5世): (明) 杭智,字汝明,号乐耕(本支派祖, 四子分四房: 杭槃 ; 杭楘 ; 杭果 ; 杭乐) ; 杭仁,字汝诚,号守耕(锡邑支派) ; 杭勇,字汝修,号式耕(郡城(常州)支派). 敏言公派下支祖 (9世): 杭汝楫. 无锡南门开化站头祖. 注: 此谱以简化字体书写. 散居地: 江苏省无锡县等地. 书名据书衣题, 及书名页题编目. 版心题: 杭氏宗谱.
浏览:100
正红旗满洲哈达瓜尔佳氏家谱
浏览:100
1.瓜尔佳氏家谱
原书: [出版地不详印 : 出版者不详], 清道光29[1849]. 8册 : 世系表. 不得复制. 本微卷缩小42倍率请用高度放大阅读机. 远祖 : 费信勇公,讳英东开 受姓始祖 : 尼雅济布 自第五代起始立六大门 : 长门阿炳安 ; 二门阿炎阿 ; 三门琳昌 ; 四门塞得立 ; 五门吴达善 ; 六门纳英阿. 散居地 : 松江省珲春县等地. 书名据卷端题及版心题. 书衣题 : 正红旗满洲哈达瓜尔佳氏家谱.
浏览:100
尼博惹士
尼博惹士
浏览:0
代氏族谱
代氏族谱
浏览:0
即墨修家街族谱1
即墨修家街族谱1
浏览:0