go top

## proof theory添加释义

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

[数] 证明论

证蜜

证明理论

...sophy of mathematics），数学建模（Mathematical modeling），逻辑（logic），集合论（set theory），证明理论proof theory）2）离散数学和代数（Discrete mathematics / algebra）: 组合数学（combinatorics),排序理论（Order theory），代数（algebra），...

证实论

proof of theory 理论论证

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

default proof theory 缺省证明理论

programof proof theory 希尔伯特方案

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

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

theory proof 理论说明

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

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

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

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

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

#### Proof theory

• 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给出一些证明结果

• In object identification level object identification fusion based on D-S proof theory was discussed, performance analyzing is found that the arithmetic did not need probability distribution.

目标识别重点讨论基于D-S证据理论目标识别融合通过性能分析可知算法具有需要先验概率和条件概率密度等优点。

• Firstly, we construct the system C2K of conditionals with double conditions and the system C2L2 of conditionals with primary-condition and secondary-condition, give some results of their proof theory.

首先我们构造条件系统C2K主次条件系统C2L2给出这两个系统一些证明结果

\$firstVoiceSent
- 来自原声例句