遞歸布爾代數(recursive Boolean algebra)具有遞歸性質的布爾代數.
基本介紹
- 中文名：遞歸布爾代數
- 外文名：recursive Boolean algebra
定義介紹
設0}l= CA, +,·，‘, OA ,IA)是一個可數布爾代數(即A至多含可數個元素).如果(}u的論域A是自然數集N的一個遞歸子集，並且運算+，·和’是部分遞歸的，那么稱ou是一個遞歸布爾代數.
遞歸布爾代數
相關詞條
- 遞歸布爾代數
遞歸布爾代數(recursive Boolean algebra)具有遞歸性質的布爾代數.定義介紹設0}l= CA, +,·，‘, OA ,IA)是一個可數布爾代數(即A至多含可數個元素).如果(}u的論域A是自然數集N...
- 命題代數
布爾代數又稱“邏輯代數”，是英國數學家、邏輯學家布爾(George Boole)1815—1864所創立的一個代數系統。布爾認為，邏輯關係和某些數學運算甚為類似，代數系統可以有不同的解釋，把解釋推廣到邏輯領域，就可以構成一種思維的演算。命題代數(propositional algebra)一種特殊的布爾代數。設W是某一語言中所有命題構成的集合...
- 布爾值集全域
universe of Boolean-valuedsets)利用布爾代數對集合全域V的一種擴充.在某個論域上，集合與其特徵函式具有一一對應關係，通常可把它們等同看待.如果把特徵函式的值域擴充為一個布爾代數，那么同一個集合將有多個特徵函式與其對應.利用這種方法可將集合全域V進行“擴張”.形式地講，設B為一個布爾代數，對序數a,遞歸...
- 可判定布爾代數
可判定布爾代數(decidable Boolean algebra)能用程式來決定其命題真假的布爾代數。介紹 可判定布爾代數，能用程式來決定其命題真假的布爾代數.設(cu一＜A,+,·，‘,OA,lA)是一個可數布爾代數(即A至多含可數個元素).如果A是自然數集N的一個遞歸子集，並且ou的理論(ThCA,+,·，‘,OA,lA,LafaEA)是可判定的...
- 初等積
簡稱布爾公式。布爾代數研究的基本對象。是布爾代數〈B，+，·，′，0，1〉中按如下遞歸定義的符號串：1.B中任何元素是布爾表達式；2.任何變元是布爾表達式；3.若h₁和h₂是布爾表達式，則(h₁+h₂)，(h₁·h₂)和(h₁′)也是布爾表達式；4.只有通過有限次運用規則1，2與3所構成的符號串才...
- 離散數學結構(2004年清華大學出版社出版的圖書)
接著描述了離散數學的主要知識體系，內容涉及集合論、數學結構、圖論、關係、函式、格和布爾代數、樹結構、圖結構、半群和群等知識、包括整個體系的基礎和多個分支。最後介紹了離散數學的套用，涉及形式語言和有限狀態機、群和編碼。 在第2章中，將數學歸納法套用於程式正確性的驗證；第4章中專門介紹了關係和有向圖...
