詞語：decidability
decidability的解釋
decidability[di,saidə'biləti]n. 可判定性
decidability的意思
decidability 可判定性;可決定性;可判定性，可決定性;可決定性 可判定性;semi-decidability 半決定性;半可決策性;
decidability的參考例句
1.This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method. 本文致力於相容結構的可判定性的證明並給出了一個快速的判定算法。
2.The decidability and soundness of the tableau algorithm is proved. The computation complexity is analysised. 證明了表算法的可判定性和可靠性，分析了表算法推理時的時間複雜度；
3.In this article, we make a survey on the logical problem of arithmetical sentences, definability and decidability, in particular. 本文是對算術句型中的邏輯問題做一綜覽，特別是算術句型的可定義性與可決定性。