可判定布爾代數

可判定布爾代數(decidable Boolean algebra)能用程式來決定其命題真假的布爾代數。

基本介紹

  • 中文名:可判定布爾代數
  • 外文名:decidable Boolean algebra
介紹
可判定布爾代數,能用程式來決定其命題真假的布爾代數.設(cu一<A,+,·,‘,OA,lA)是一個可數布爾代數(即A至多含可數個元素).如果A是自然數集N的一個遞歸子集,並且ou的理論(ThCA,+,·,‘,OA,lA,LafaEA)是可判定的,那么就稱au是可判定的布爾代數.

相關詞條

熱門詞條

聯絡我們