当前查询结果是否对您有帮助
go top

decidable
[dɪ'saɪdəbl]

  • adj. 可决定的

网络释义专业释义

  可决定的

如果T为空集(即空项集合),那么我们在SAT命题的情况下,Γ就认为是可决定的(Decidable)

基于46个网页-相关网页

  [数] 可判定的

[09-14] W3C标准专业术语翻译对照表 ... data-valued property 数据值属性 数据值属性 decidable 可判定的 可判定的 declaration 声明, 宣告 声明, 宣告 ...

基于25个网页-相关网页

  可解

计算机通信工程英语词汇翻译 ... 可判定子类 decidabe subclass 可解 decidable 可解语言 decidable language ...

基于6个网页-相关网页

短语

decidable proposition [计] 可决策命题

entscheidbar decidable 不可判定的

decidable language 可解语言

decidable problem 可判定的问题

decidable subclause 可判定子句 ; 翻译

decidable subclass [计] 可判定子类 ; 可判定子类英语 ; 翻译

decidable algorithm 判定算法

entscheidend decidable 不可判定的

recursively decidable 递归可判定

 更多收起网络短语
  • 可判定的 - 引用次数:1

    参考来源 - 模糊描述逻辑L
    可决定的
    可以制定的
  • 可判定
    可判定的
    可解

·2,447,543篇论文数据,部分数据来源于NoteExpress

 柯林斯英汉双解大词典 

deˈcidable /dɪˈsaɪdəbəl/

  • 1. 

    ADJ able to be decided 可以决定的

同近义词

双语例句

  • The restricted set of terms, becomes decidable , and moreover can be implemented very efficiently.

    限制条款规定成为可判定而且非常有效地实施

    danci.911cha.com

  • Description logics are fragments of the first-order logic, which contain concepts, roles, and concept and role constructors; and have features of strong expressivity and decidable reasoning.

    描述逻辑包含概念角色以及概念角色构造逻辑的子逻辑具有表达能力推理可判定特征

    blog.sina.com.cn

  • You can validate absolutely any string that conforms to any decidable set of rules.

    可以彻底检查任何字符串是否符合任何确定规则集

    www.ibm.com

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定