证明论的英文
音标:[ zhèngmínglún ] 发音:
"证明论"怎么读用"证明论"造句
英文翻译手机版
- proof theory
- "证明"英文翻译 prove; testify; bear out
- "论"英文翻译 The Analects of Confucius
- "立论,证明论点" 英文翻译 : make a point
- "证明论语义" 英文翻译 : logical harmony
- "证明论证" 英文翻译 : demonstrate; prove
- "证明论点正确" 英文翻译 : make a point
- "宣明论方" 英文翻译 : xuanming lun fang clear synopsis on recipes
- "英明论断" 英文翻译 : brilliant thesis
- "证明" 英文翻译 : 1.(表明 、 断定真实性) prove; testify; bear out 充分证明 fully prove; 雄辩地证明 give eloquent proof of; 事实证明他是对的。 facts proved that he was right. 她脸红证明她内心有愧。 her red face testified to her guilt.2.(证明书或信) certificate; identification; testimonial 医生证明 medical certificate; 出个证明 issue a certificate; 此证明无效。 this certificate is invalid.3.demonstration; evidence; verification; [法律] proof; 证明人 authenticator; certifier; 证明文件 documentary evidence; certificate; testimonial papers; supporting documents; 证明无罪 proof of innocence; 证明信 certificate; 证明有罪 proof of guilt
- "反复说明论点使对方接受" 英文翻译 : ram an argument home
- "因明论来解释绿蓝悖论" 英文翻译 : grue paradox
- "证明,证明书" 英文翻译 : certification
- "证明书,证明" 英文翻译 : cert.;certif certificate;certified
- "证明书,证明单" 英文翻译 : certificate
- "表明,证明" 英文翻译 : argue sb. to be; testify to
- "出证明" 英文翻译 : certification
- "给……证明" 英文翻译 : prove to
- "活证明" 英文翻译 : be living proof of sth show sth by the fact that one is alive
- "净证明" 英文翻译 : net authentification
- "可证明" 英文翻译 : vindicability
- "认证,证明" 英文翻译 : certification
- "说明, 证明" 英文翻译 : go to show
- "谈到;证明" 英文翻译 : speak of
- "我证明" 英文翻译 : arguo=i prove
- "向…证明" 英文翻译 : certify to … as (being true, equal)
例句与用法
- 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,證明論的英文,证明论怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。