基本介紹
- 中文名:原子布爾代數
- 外文名:atomic boolean algebra
- 所屬學科:數學(布爾代數)
- 簡介:一種特殊的布爾代數
原子布爾代數是一種特殊的布爾代數,設B是一個布爾代數,對於布爾代數B中每個非零元x,均存在某個原子a使a≤x成立,則稱B為原子布爾代數。有限布爾代數皆為原子布爾代數,含有n個原子的有限布爾代數共有2n個元素。可以證明:每...
超原子布爾代數(super-atomic Boolean algebra)一種特殊的布爾代數。定義介紹 設A是布爾代數,如果A的每一個非平凡同態象都有一個原子.則稱A為超原子布爾代數.退化布爾代數及每一個有限布爾代數均是超原子的.超原子布爾代數具有下列特徵...
無原子布爾代數(non-atomic Boolean algebra) 一種特殊的布爾代數.指不含原子的布爾代數.主 要包括以下幾種:1.因有限布爾代數皆為原子代數,故凡無原子布爾代數均是無限的.2.語句叢布爾代數是無原子布爾代數的一個例子.3.可以證明:...
原子的布爾多項式 原子的布爾多項式是1993年全國科學技術名詞審定委員會公布的數學名詞。出處 《數學名詞》第一版 公布時間 1993年,經全國科學技術名詞審定委員會審定發布。
布爾代數又稱“邏輯代數”,是英國數學家、邏輯學家布爾(George Boole)1815—1864所創立的一個代數系統。布爾認為,邏輯關係和某些數學運算甚為類似,代數系統可以有不同的解釋,把解釋推廣到邏輯領域,就可以構成一種思維的演算。命題代數...
布爾代數(Boolean algebra)定義 設是一布爾格,將對A上每個元素的求補看成一元補運算“﹣”,則布爾格可記為,並稱為布爾代數。原子(atom)定義 設是有界格,A上蓋住全下界0的元素被稱為A上的原子。A上被全上界1蓋住的元素被稱為...
§3 布爾代數 §4 一些常用的概念 第二章 自然模型 §1 ZFC的自然模型V及其一些基本性質 §2 GB的自然模型∑及其一些基本性質 §3 COG的自然模型人及其一些基本性質 §4 ACG的自然模型Q及其一些基本性質 第三章 含有原子的自然模型...
),n=0時的布爾代數是僅含一個元素的退化布爾代數,n=1時的布爾代數僅含0和1兩個元素,稱為二元布爾代數,區分有限與無限布爾代數是有意義的,因為有限布爾代數必是原子布爾代數,從而它同構於某個集A的所有子集構成的布爾代數;但...
遞歸布爾代數(recursive Boolean algebra)具有遞歸性質的布爾代數.定義介紹 設0}l= CA, +,·,‘, OA ,IA)是一個可數布爾代數(即A至多含可數個元素).如果(}u的論域A是自然數集N的一個遞歸子集,並且運算+,·和’是部分遞歸的...
給出了有限布爾代數上的量子測度及超級量子測度空間的基,對布爾代數上量子測度及超級量子測度的結構給出了清晰地刻畫.證明了布爾代數上的超級量子測度可唯一確定一個布爾代數直積上強對稱的帶號測度. 給出了具有(RDP)的有限效應代數上...
代數複雜性 代數複雜性(algebraic complexity)是2018年公布的計算機科學技術名詞。定義 在數值計算或代數計算模型中,用所使用的代數運算的次數來定義的複雜性。出處 《計算機科學技術名詞 》第三版。
第十三章 無原子布爾代數理論的計算複雜度 13.1 一個系統的定理判定的計算複雜度 13.2 無原子布爾代數的公理系統 13.3 量詞消去法的作用與過程 13.4 無原子布爾代數的性質 13.5 無原子布爾代數的量詞消去法 13.6 無原子...
代數封閉域 無原子的布爾代數 項代數 稠密全序 特徵樹 以及它們之間的許多組合,如帶 Presburger 算術的布爾代數等等。量詞消去也可用以證明“合併”某些可判定理論可得到新的可判定理論,類似的建構包括有 Feferman-Vaught 定理及項冪。...