decidability的意思

decidability中文翻譯：

n.[數]可判定性

相似詞語短語

decidable language───可解語言

decidable synonym───可判定同義詞

decidable meaning───可判定意義

decidable set───可判定集

decidable logic───[計]可判定邏輯（電路）

decidable def───可判定def

雙語使用場景

decidability of the model is proven and a decidability algorithm is presented.───證明了該模型的可判定性，并給出了判定任意一個事件是否需要審計的算法。

The concept of algorithm is also used to define the notion of decidability.───算法的概念，也用來界定概念的決定性。

present a dense timed interval temporal logic and exploit the decidability problem of DTITL.───了稠密時間區間時序邏輯，它是區間時序邏輯的一種實時擴充。

A Definition Framework of Spatial Logic and Decidability───空間邏輯的一個定義框架及其可判定性

The Decidability of Proof Method in the Predicate Logic Inference───謂詞邏輯推理中證明方法的判定

英語使用場景

The decidability of system M can thus be derived from the finite model property.

A formal semantics is given. We prove 79's soundness, consistency, completeness[sentencedict .com], and decidability with respect to the semantics.

Condensing is one important type of redundancy elimination. We first consider the decidability and complexity of this problem, and then gives a polynomial algorithm of its sub-problem.

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

This thesis fully uses the expressing and reasoning ability of description logic and applies it in the spatial reasoning to increase the accuracy and decidability of the reasoning.

The decidability of the model is proven and a decidability algorithm is presented.

In his fictions, the destiny is represented by the mysterious nature, the decidability and comeuppance, contingency and coincidence, instinct and desire.

This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.