在线词典

分类：语言工具

在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。

输入要查询的单词：

近期查询：

conservative extension

查词链接：https://www.dute.org/dict/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.

网络释义

保守扩展

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

守恒扩张

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

正在查询...

在线词典

conservative extension

网络释义

{error}

{word}

单词变体

常用短语

网络释义

近义词

同根词

词语辨析

{num}、{title}