prove
基本释义:
证明论证
网络释义
1)prove,证明论证
2)demonstrate,论证,证明,证实
3)Proof theory,证明理论
4)proof theory,证明论
5)interactive proofs and arguments,交互证明与论证
6)Argument from Design,设计论证明
用法和例句
Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。
It is proved that a generalized form of model theoretic weak forcing satisfies some right inference rules of Gentzen style proof theory.
推广形式的模型论弱力迫关系适合Gentzen证明论的一些右规则,因而模型论弱力迫关系可以用证明论性质刻画。
-
policy improvement iteration
精品项目网为您提供策略改进[迭代]policy improvement iteration是什么意思,policy improvement iteration翻译,policy improvement iteration例句,policy improvement iteration用法等有关,policy improvement iteration单词知识大全供您查询使用!...
-
split Lie algebra
精品项目网为您提供分裂李代数split Lie algebra是什么意思,split Lie algebra翻译,split Lie algebra例句,split Lie algebra用法等有关,split Lie algebra单词知识大全供您查询使用!...
-
Dedekind domain
精品项目网为您提供戴德金整环Dedekind domain是什么意思,Dedekind domain翻译,Dedekind domain例句,Dedekind domain用法等有关,Dedekind domain单词知识大全供您查询使用!...