定義介紹
無原子布爾代數(non-atomic Boolean algebra) 一種特殊的布爾代數.指不含原子的布爾代數.主
要包括以下幾種:
1.因有限布爾代數皆為原子代數，故凡無原子布爾代數均是無限的.
2.語句叢布爾代數是無原子布爾代數的一個例子.
3.可以證明:一布爾代數B是無原子的(或原子的)，若且唯若補B是無原子的(或原子的).
4.每個無窮自由布爾代數是無原子的.
定義介紹 無原子布爾代數(non-atomic Boolean algebra) 一種特殊的布爾代數.指不含原子的布爾代數.主 要包括以下幾種: 1.因有限布爾代數皆為原子代數,故凡無...
無限布爾代數是一種常用的布爾代數,指論域B是無限集的布爾代數。... 稱為二元布爾代數,區分有限與無限布爾代數是有意義的,因為有限布爾代數必是原子布爾代數,從而...
原子布爾代數是一種特殊的布爾代數,設B是一個布爾代數,對於布爾代數B中每個非零元x,均存在某個原子a使a≤x成立,則稱B為原子布爾代數。有限布爾代數皆為原子...
在數學分支抽象代數中,自由布爾代數是布爾代數 <B,F>,使得集合 B (叫做“載體”)有其中元素叫做生成元的子集。...
有限布爾代數(finite Boolean algebra)是一種常用的布爾代數,指論域B是有限集的布爾代數。有限布爾代數的論域B的元素個數必是2的方冪2n(n=1,1,2,…),n=0...
定義介紹 超原子布爾代數(super-atomic Boolean algebra)一種特殊的布爾代數.設A是布爾代數,如果A的每一個非平凡同態象都有一個原子.則稱A為超原子布爾代數.退化...
在數學中,布爾格是與布爾代數有密切關係的一類格,一個有補分配格稱為布爾格,由一個布爾格〈L,≤〉可以誘導出一個布爾代數〈L,·,+,′,0,1〉,在布爾格〈...
定義介紹對偶原子(dual atom) sub(B)中對偶原子的簡稱,這裡silb (B)表示布爾代數B的子代數所構成的格.sub (B)的對偶原子C,實即B的極大子代數,滿足:C是B...
《布爾代數及其泛化結構》是2008年科學出版社出版的圖書,作者是楊炳儒。本書既有對經典與發展中的布爾代數理論和套用的系統和完備的概括,又有對其泛化結構和套用的...
無原子的布爾代數 項代數 稠密全序 特徵樹 以及它們之間的許多組合,如帶 Presburger 算術的布爾代數等等。量詞消去也可用以證明“合併”某些可判定理論可得到...
13.4 無原子布爾代數的性質13.5 無原子布爾代數的量詞消去法13.6 無原子布爾代數的計算複雜度第十四章 可換群定理判定的計算複雜度...