好单词

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模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。


    • 其他单词翻译

    英文单词 中文含义
    hyperontomorph

    甲状腺机能亢进体型者
    hyperornithinemia

    n.高鸟氨酸血症
    hyperneurotization

    神经机能加强法(神经移植)

    网络解释

    神经机能加强法
    hypernumber

    超数

    网络解释

    超数
    hyperosphresia

    嗅觉过敏
    hyperonychia

    n.甲肥大

    网络解释

    甲肥大
    hyperorthocytosis

    正比例性白细胞增多
    hypernutrition

    n.营养过度

    网络解释

    营养过多
    hyperosteogeny

    n. 骨发育过度，骨质增生

    网络解释

    骨质增生症
    hypernitremia

    n.血氮过多，高氮血症
    hyperonychosis

    n.甲肥大
    hyperorthognathous

    颌过直的
    hypernym

    n.上位词；上义词

    网络解释

    上位词; 上位概念; 上位关系
    hyperosteopathy

    剧性骨病
    hyperope

    n.远视者

    网络解释

    远高於远视
    hypernoia

    n.精神活动过度
    hyperorthognathy

    n.颌过直

    网络解释

    颌过直
    hypernymy

    上位关系

    网络解释

    上下位关系; 上位关系; 上义关系
    hyperostosis

    n. 骨肥大，骨肥厚

    网络解释

    骨质增生; 骨皮质增生; 骨肥大
    hypernomic

    adj.超规律的；过度的