可判定性

可判定性是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。

基本介紹

• 中文名：可判定性
• 外文名：decidability
• 所屬學科：計算機科學技術
• 公布年度 ：1993年
• 見載刊物：《數學名詞》 科學出版社 

定義

存在一個算法在有窮時間內給出“yes”或“no”答案。

出處

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

公布時間

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