proof theory

Because of the disjoint of the theoretical and practical research of reading instruction, many theories can not be put into practice for proof-test finally. So the theory becomes an air castle without any practical applicable worth;

关于阅读教学对话的理论研究与实践研究脱节，很多理论最终难以付诸实践和接受实践的检验，理论建构成为空中楼阁，缺乏实际应用价值；

In analyzing of the reason, the paper use statistical analysis and theoretical logic to proof certification theory and reputation theory are not applicable in our country.

接着进行了原因分析，在此过程中，本文先采用统计分析与理论逻辑对国际上流行的认证理论与声誉理论进行分析论证，发现这些理论在我国均不适用。

And pluses with proof theory of Criminal Procedure Law to propose a solution to the completion of it.

结合刑诉法的证据理论提出完善的方法。

Whether we should follow the principle of truth value or adopt the principle of epistemology is the watershed between the formal reasoning theory and the new proof theory.

论证的评估是坚持真值标准，还是采用认识论标准是形式推理理论与新的论证理论的分水岭；

The elaboration of relevant theory research home and abroad provides further proof of the value of this research. Next, the author is able to gradually construct a tailor-made PBI Model for primary school through constant research and practice.

国内外的相关理论研究的阐述进一步证实了本研究的价值。其次，在作者不断的研究和实践过程中逐步构建了适合小学的项目探究性学习的一般模式。

Computational neuroscience proposes certain proof for algorithmism cognition theory.

计算神经科学为计算主义认知观提供了一定的证据.

In this paper, the structure of the process of this algorithm, and matrix theory proof of its convergence conditions and convergence of iterative direction.

文中给出了构造此算法的过程，并用矩阵的理论推导论证了它的迭代收敛条件和收敛方向。

the proof of Einstein's theory now hangs in the balance.

爱因斯坦的理论证明现在依然悬而未决。

Based on the catenary theory, with Newton iteration numerical method, mathematics models of design of suspension rope of strop ropeway are established, facilitating installation of strop ropeway, improving safe performance, providing the scientific theory proof of suspension rope design of suspension rope.

从悬链线理论出发，利用牛顿迭代数值解法建立滑索的悬索设计数学模型，便于滑索的安装架设，提高其安全性能，为滑索的悬索设计提供科学理论依据。

A Developing Method of Programs Based on the Proof Theory of Program Correctness

一种基于程序正确性证明理论的程序开发方法

The second part gives statement for medical ethics disputes as well as the basic theory of distribution proof responsibility mainly.

第二部分则主要对医疗伦理纠纷及证明责任的基本分配理论两项内容进行阐述。

Gives a rigorous proof of the greatest coincide degree according to the theory of limit.

根据极限理论给出了齿轮最大重合度的一个严谨证明,是对有关资料中该概念推导的完善与补充.

According to the fundamental theory of group representations, a direct proof is given for the singleness of demension of Dirac's matrix in the relativistic quantum mechanics.

根据群表示论的基本定理，对相对论量子力学中狄拉克矩阵维数的唯一性给出直接证明。