go top

conservative extension

  • 保守扩展:在数学、逻辑学和计算机科学中,指在一个理论或系统中添加新的概念、公理或规则,同时保持原有的结构和性质不变的过程。

网络释义专业释义英英释义

  保守扩展

... conservative estimate 保守的估计; 保守的估算; 守恒估计 conservative extension 保守扩展; 守恒扩张 conservative factor 保险系数 ...

基于1041个网页-相关网页

  守恒扩张

... conservative estimate 保守的估计; 保守的估算; 守恒估计 conservative extension 保守扩展; 守恒扩张 conservative factor 保险系数 ...

基于44个网页-相关网页

  • 守恒扩张

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

Conservative extension

  • abstract: In mathematical logic, a logical theory T_2 is a (proof theoretic) conservative extension of a theory T_1 if the language of T_2 extends the language of T_1; every theorem of T_1 is a theorem of T_2; and any theorem of T_2 that is in the language of T_1 is already a theorem of T_1.

以上来源于: WordNet

双语例句权威例句

  • Objective: Discusses the effect of humeral supracondylar fractures of extension-ulnar type in children with Chinese medicine conservative treatment.

    目的探讨儿童肱骨髁上伸直尺偏骨折中医保守治疗疗效

    youdao

更多双语例句
  • Throughout the presidential campaign, Moussavi labored hard to portray his proposals on social policy and foreign affairs as an extension of the Islamic system in order to disarm conservative critics, even denying that he is a mainstream reformist candidate in the hope of winning the support of reformers and moderate conservatives.

    CNN: Commentary: Iran's hardliners are the real losers

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

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

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