補定理

補定理（complementation theorem）是2018年公布的計算機科學技術名詞。

基本介紹

• 中文名：補定理
• 外文名：complementation theorem
• 所屬學科： 計算機科學技術
• 公布年度：2018年

定義

一個集合 A 是可計算的，若且唯若 A 和 A 的補均是計算可枚舉的。

出處

計算機科學技術名詞。