go top

您要找的是不是:

price theory

place theory

proof theory 添加释义

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

  [数] 证明论

证明论proof theory)的发展表明,在某些知名的限度内,命题间的语义关系可以完全由表达那些命题的句子之间的语法关系反映出来。

基于2587个网页-相关网页

  证蜜

在线英语词典,英文翻译,科技词典,专业词典,在线词... ... 证明;验证:verify 证蜜proof theory 证(题);证明:proof ...

基于64个网页-相关网页

  证明理论

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

基于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 system KA of knowing agents, give some results of its proof theory.

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

    www.sinoss.net

  • 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证据理论目标识别融合通过性能分析可知算法具有需要先验概率和条件概率密度等优点。

    dict.cnki.net

  • 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给出这两个系统一些证明结果

    dict.cnki.net

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

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

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