好单词

decidability

美：[dɪ´saɪdəblɪtɪ]   英：[dɪ´saɪdəblɪtɪ]

中文翻译

可决定性，可判定性

网络解释

可判断性; 可决定性; 决定性

英文短语

  • 1.decidability problem [数]可判定问题
  • 2.semi-decidability 半可决策性
  • 3.computability decidability 可计算性
  • 4.Decidability and undecidability 可判定下和不可判定性
  • 5.decidability of boolean algebra 布尔代数的可判定性
  • 6.decidability of arithmetic without multiplication 无乘法算术的可判定性

    • 英文例句

  • 1.The concept of algorithm is also used to define the notion of decidability.算法的概念，也用来界定概念的决定性。
  • 2.The decidability of the model is proven and a decidability algorithm is presented.证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。
  • 3.We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。
  • 4.This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
  • 5.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.对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。


    • 其他单词翻译

    英文单词 中文含义
    semifinishing

    半精加工
    semidomestication

    n. 半驯养状态
    semifluctuating

    半波动的
    semiemployed

    半失业

    网络解释

    半失业
    semifitted

    adj. （衣服）半紧身的
    semidominance

    不完全显性

    网络解释

    不完全显性; 半显性基因; 显性遗传
    semifluid

    n.& adj. 半流质（的）；半流体

    网络解释

    半流质; 半流质的; 半铃的
    semienclosed

    adj. 半封闭式的，半开式的

    网络解释

    半封闭式; 半封闭式的
    semiflat

    半光
    semidominant

    adj. 半显性的

    网络解释

    半支配的
    semiepiphyte

    n.半附生植物；半匍匐植物

    网络解释

    半附生的
    semifluidity

    n.半流质（semifluid的变形）
    semiflexed

    半屈曲的
    semiformal

    n 半正式的

    网络解释

    半形式化
    semiflexible

    adj. 半柔韧的； （书籍封面）半软的
    semifossil

    adj.半化石的，半石化的

    网络解释

    半化石
    semiflexion

    n.半屈
    semifreestone

    半离核的桃
    semievergreen

    adj. 半常绿的
    semifabricated

    adj.半加工的