在线词典
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。
输入要查询的单词:
proof theory
查词链接:
https://www.dute.org/dict/proof_theory
复制链接 证明论
查看英英释义
abstract:
Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system.
网络释义
证明论
在证明论(proof theory)和相关的数理逻辑的领域中,一个形式的演算(caluclus)相对于一个特定的逻辑(即相对于它的语义(semantics))是完备的,如果任何由...
证蜜
... 证明;验证:verify 证蜜:proof theory 证(题);证明:proof ...
证明理论
20世纪30年代前后,基于证明理论(Proof Theory)和递归可列举集合(recursively enumerable set)等理论,在Alonzo Church和Alan M.Turing等一大批著名数学家和逻辑学家的共同努...
证实论
证实论(proof theory)的生长表达所以自己如若借通过琢磨自己心思情形来否认原人所直言的话那就是中国人优根性的最好体隐争了一条道把他放了进去。
常用短语
更多常用短语正在查询...
{error}
你是不是想查找:
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接:
{link}
复制链接{phones}
{text}:[{value}]
{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词: {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}