go top

## proof theory

• 证明论

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

[数] 证明论

证蜜

... 证明;验证：verify 证蜜proof theory 证(题);证明：proof ...

证明理论

20世纪30年代前后，基于证明理论Proof Theory）和递归可列举集合（recursively enumerable set）等理论，在Alonzo Church和Alan M．Turing等一大批著名数学家和逻辑学家的共同努...

证实论

Proof theory is reasonable 证明理论是否合理

default proof theory 缺省证明理论

programof proof theory 希尔伯特方案

Proof of his theory of 他的理论证明的对的

proof of theory 理论论证

theory proof 理论说明

algebraic basic theory proof 代数基本定理证明

the proof of this theory 这个理论的证据

更多收起网络短语
• 证明论 - 引用次数：4

参考来源 - 基于XML的智能信息处理研究
证明理论
• 证明论 - 引用次数：2

参考来源 - 正规模态逻辑的自然演绎及其证明论性质探微
证明理论
证蜜
• 证明论

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

#### 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

• 1.

N the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity 证明论

### 双语例句权威例句

• Firstly, we construct the system KA of knowing agents, give some results of its proof theory.

首先我们构造知道主体系统KA给出一些证明结果

• Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory.

首先我们构造动态认知条件系统DEC1给出一些证明结果

• Firstly, we construct the dynamic epistemic conditional system DEC2, give some results of its proof theory.

首先我们构造动态认知条件句系统DEC2给出一些证明结果

\$firstVoiceSent
- 来自原声例句