theorem proving by resolution是什么意思 theorem proving by resolution在线中文翻译

theorem proving by resolution

中文翻译
1
按分解律的定理証明

相关单词辨析

这组词都有“决定、决心”的意思,其区别是:
resolve: 语气较强,强调克服感情上的软弱,下决心干具体的一件事。
determination: 侧重坚定不移的顽强意志力。
resolution: 指自觉地正式表示的决心,含极强的主观能动意味。
decision: 既可指重大的或一般的决定或决心,又可指在多种情况下作出果断的抉择,毫不犹豫地采取行动。

这组词都有“原理、原则”的意思,其区别是:
law: 指一直公认的。陈述各种现象的条理或关系的公理或定理等。
principle: 普通用词,含义广。指作判断的基础或行动的普通准则;也指自然科学的规律。
theorem: 多指经过推理或演算能得到证明的原理、定理或定律。
fundamental: 通常指原理、原则。