go top

decidable
[dɪ'saɪdəbl]

  • adj. 可决定的

网络释义专业释义

  可决定的

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

基于94个网页-相关网页

  [数] 可判定的

...c function, aka indicatorfunction):设AB ,则A关于B的特征函数FA: B → {0, 1} 定义如下: 对于任意b∈B 可判定的(decidable):A关于B是可判定的,当且仅当A的特征函数是可计算的。

基于50个网页-相关网页

  可解

... 可判定子类 decidabe subclass 可解 decidable 可解语言 decidable language ...

基于12个网页-相关网页

短语

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 可以决定的

同近义词

双语例句

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

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

    www.ibm.com

  • Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

    描述逻辑知识表示形式化语言一阶逻辑可判定子集

    dict.cnki.net

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

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

    danci.911cha.com

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

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

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