算術布爾代數

算術布爾代數

算術布爾代數(arithmetic Boolean algebra)一種特殊的布爾代數.設}'Zl=(A,+,·,‘f O,q M,q )是一個可數布爾代數(即A至多含可數個元素).

基本介紹

  • 中文名:算術布爾代數
  • 外文名:arithmetic Boolean algebra
定義介紹
如果A是自然數集合N的一個算術子集,並且運算+,·和‘是算術的,而且A上的相等關係也是算術的,則稱ou是一個算術布爾代數.n元關係R是算術的,如果存在一個n+m元遞歸關係S使得
算術布爾代數
公式
其中Q為d或3 (t1,2,,m).

相關詞條

熱門詞條

聯絡我們