decidable是什么意思

2024-12-12 英汉词典

【摘要】：英语音标英式：[dɪˈsaɪdəbl]美式：[dɪˈsaɪdəbəl]英语翻译adj.可决定的英语例句Pisalsoknowntobeatleastaslarg

英式：[dɪˈsaɪdəbl]
美式：[dɪˈsaɪdəbəl]

adj.可决定的

PisalsoknowntobeatleastaslargeasL,theclassofproblemsdecidableinalogarithmicamountofmemoryspace.P也已知至少大于L一个可在对数量级的记忆体空间上决定的问题的类别。

Descriptionlogicisaformallanguageforrepresentingknowledgeanditisadecidablesubsetoffirst-orderlogic.描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。

Forthedecidablecasesofarithmaticalsentences,wegivetheupperandlowerboundsoftheircomputationalcomplexity.对具可决定性的算术句型，我们并给出了其计算繁度的上界与下界。

Dynamiccontextandsteadycontextaredecidedbythevariabilityandsteadinessofcontextfactors.它是与具体的语用行为密切联系的、同语用过程相始终的、对语用活动有重要影响的条件和背景;

Theywantedtohaveaplantinitthatwaseasytotakecareof,sotheydecid...于是，做冬成了一年中一个颇重要的家庭项目。