繁體版 English FrancaisРусскийViệt
登录 注册

证明论的英文

音标:[ zhèngmínglún ]  发音:  
"证明论"怎么读用"证明论"造句

英文翻译手机手机版

  • proof theory

例句与用法

  • The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory
    证明论方法引入到xml中,建立了基于xml的证明论。
  • An approach to xml problem solving by means of resolution principle is presented . the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle . an intelligent decision support system based on xml is presented
    主要内容包括:建立了基于xml的公理系统;给出了假言推理在xdd中的应用形式;论证了假言推理在xdd中有效性和完备性;给出了应用证明论方法实现xml问题求解的方法和步骤。
用"证明论"造句  

其他语种

百科解释

证明论是数理逻辑的一个分支,它将数学证明表达为形式化的数学客体,从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达,例如链表,盒链表,或者树,它们根据逻辑系统的公理和推理规则构造。
详细百科解释
证明论的英文翻译,证明论英文怎么说,怎么用英语翻译证明论,证明论的英文意思,證明論的英文证明论 meaning in English證明論的英文证明论怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。
英语→汉语 汉语→英语