go top

您要找的是不是:

price theory

place theory

proof theory

  • 证明论

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

  [数] 证明论

证明论(proof theory)和相关的数理逻辑的领域中,一个形式的演算(caluclus)相对于一个特定的逻辑(即相对于它的语义(semantics))是完备的,如果任何由...

基于2587个网页-相关网页

  证蜜

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

基于64个网页-相关网页

  证明理论

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

基于44个网页-相关网页

  证实论

证实论(proof theory)的生长表达所以自己如若借通过琢磨自己心思情形来否认原人所直言的话那就是中国人优根性的最好体隐争了一条道把他放了进去。

基于24个网页-相关网页

短语

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 代数基本定理证明

theory of 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.

以上来源于: Wikipedia

 柯林斯英汉双解大词典 

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 dynamic epistemic conditional system DEC1, give some results of its proof theory.

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

    www.sinoss.net

  • Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.

    首先我们构造目的背景知识条件条件系统akc给出一些证明结果

    dict.cnki.net

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

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

    www.sinoss.net

更多双语例句
更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定