並定理

並定理是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。

基本介紹

• 中文名：並定理
• 外文名： union theorem
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

計算可枚舉集合在集合併與交運算下是一致能行封閉的，即存在可計算函式 f,g 使得。這裡是編碼為 z 的圖靈機計算的函式的定義域。

公布時間

2018年，經全國科學技術名詞審定委員會審定發布。

出處

《計算機科學技術名詞 》 (第三版)。