English translation for "逻辑证明"
|
- logical proof
Related Translations:
程序证明: program proofprogram proving 出口证明: export certificateexport certificationproof of export 委任证明: certification of authorization 修订证明: revised certificates 实践证明: it has been found thatpractice confirmspractice proves 健康证明: bill of healthcertificate of healthemdical certificatehealth certificatehealth certififcatesmedical certificate 付款证明: payment certificate 正确性证明: correctne proofcorrectness proofjustificationproof of correctness
- Example Sentences:
| 1. | It does not amount to a logical proof of the statement .
它还不是这个论题的逻辑证明。 | | 2. | The logic evidence about gaining the exemplary recruits to our party from the new social stratums
吸收新的社会阶层中优秀分子入党的逻辑证明 | | 3. | Give out a correctness proof for the protocol based on the strand space model theory and kailar logic
使用ssm理论和kailar逻辑证明了该协议的安全性质。 | | 4. | Logic to the contrary is also proof that america has been feminized , sad , but true . repent ye double minded
这种矛盾的逻辑证明美国人已经女性化了，真悲哀，但这是事实。为你们的思想动摇忏悔吧。 | | 5. | Finally , we carried out the theoretically logical proof of the security of the revised protocol , using the formal logic analysis method
最后，作者运用形式逻辑分析的方法对修改后协议的安全性进行了理论上的逻辑证明。 | | 6. | In addition , we give the nonrepudiation proof using kailar logic . although the proof based on logic is only a prerequisite to security , it can enhance users " confidence considerably
接着使用kailar逻辑证明了其可追究性，虽然基于逻辑的证明只是满足协议安全目标的必要条件，但该证明的给出可以显著增强使用mb协议的信心。 | | 7. | It was thought in this thesis that logical proving , as human ' s thinking form , is not only the method of knowing , understanding and grasping things , but also the important tool of seeking truth , arguing and testing knowledge and guiding practice
摘要逻辑证明作为人类的思维形式，是人们认识、理解、把握事物的手段，也是人们探索真理、论证认识、检验认识和指导实践不可缺少的重要工具。 | | 8. | In my opinion , the strategy of pera ' s rhetoric of science aims to , through the rhetorical context , save and rebuild the rationality and achieve the inner unity of rational reason and rhetorical persuasion and breaks thoroughly the rigid bounds both between the logical demonstration and the argumentative persuasion and between the static norms and the dynamic exchange evaluation . at the same time , it also provides a way in which some dilemmas such as formal logical presuppositions and irrationalism can be solved , gives the specific strategically psychological direction and much broader room for language creation to bring a fresh motive power for the development of contemporary philosophy of science
本文认为，佩拉所倡导的科学修辞学战略的目的在于，通过修辞学语境空间来拯救或重塑理性，以达到理性的“理由”和修辞学的“有理由”的内在统一，从而彻底打破逻辑证明力与论述说服力、静态规范标准和动态交流评价之间的僵化界限；同时，也为走出形式逻辑的预设和非理性主义困境提供了一条出路，并从科学论述的境遇、选择、辩护中，给出战略性的心理定向和更广阔的语言创造的可能空间，为当代科学哲学的发展注入新的活力。 | | 9. | Using logical reasoning and statistical figures , this article makes a study of the economic condition of transitional enterprises such as economic development level , comparative advantage in industry and in enterprise ownership , reaching the conclude that the economic system , however , is becoming the biggest obstacle for the expanse of the direct investment . in the perspective of conforming to the macro economic benefits of country and strengthening the enterprise ' s competitive advantage , it should be pointed out how to improve the condition of direct investment
为此本文运用逻辑证明和统计分析的方法，对中国企业跨国经营所应具备的经济基础条件如经济发展水平、产业发展优势、企业所有权优势等方面进行了研究，并认为制度因素对海外投资扩张的宏观和微观条件构成了最大的约束，必须调整我国的有关政策来推动对外直接投资条件的改善。 |
- Similar Words：
- "逻辑阵列块" English translation, "逻辑阵列掐" English translation, "逻辑阵列区块" English translation, "逻辑阵列网路" English translation, "逻辑正确" English translation, "逻辑值" English translation, "逻辑值转换码" English translation, "逻辑指令" English translation, "逻辑指令系统" English translation, "逻辑指示符" English translation
|
|
|
