English translation for "证明论"

[ zhèngmínglún ]
proof theory

Related Translations:

程序证明:  program proofprogram proving

出口证明:  export certificateexport certificationproof of export

委任证明:  certification of authorization

修订证明:  revised certificates

实践证明:  it has been found thatpractice confirmspractice proves

结清证明:  discharge

健康证明:  bill of healthcertificate of healthemdical certificatehealth certificatehealth certififcatesmedical certificate

演绎证明:  deductive proof

付款证明:  payment certificate

正确性证明:  correctne proofcorrectness proofjustificationproof of correctness

Example Sentences:

	1.	The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory 将证明论方法引入到xml中，建立了基于xml的证明论。
	2.	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问题求解的方法和步骤。

Similar Words：

"证明检验程序" English translation, "证明理论" English translation, "证明力" English translation, "证明了的能力" English translation, "证明令" English translation, "证明论点正确" English translation, "证明论语义" English translation, "证明论证" English translation, "证明某人错了" English translation, "证明某人的陈述真实" English translation