邏輯證明 的英文怎麼說

中文拼音 [luózhèngmíng]
邏輯證明 英文
logical proof
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 邏輯 : logic
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. Logic to the contrary is also proof that america has been feminized, sad, but true. repent ye double minded

    這種矛盾的邏輯證明美國人已經女性化了，真悲哀，但這是事實。為你們的思想動搖懺悔吧。
  2. 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

    本文認為，佩拉所倡導的科學修辭學戰略的目的在於，通過修辭學語境空間來拯救或重塑理性，以達到理性的「理由」和修辭學的「有理由」的內在統一，從而徹底打破邏輯證明力與論述說服力、靜態規范標準和動態交流評價之間的僵化界限；同時，也為走出形式邏輯的預設和非理性主義困境提供了一條出路，並從科學論述的境遇、選擇、辯護中，給出戰略性的心理定向和更廣闊的語言創造的可能空間，為當代科學哲學的發展注入新的活力。
  3. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  4. It does not amount to a logical proof of the statement.

    它還不是這個論題的邏輯證明。
  5. From the above conclusions, it is easy to prove that idealism, positivism including logical positivism, and phenomenology are thoroughly wrong

    由此可以證明唯心主義、實證主義包括邏輯實證主義，以及現象學徹底錯了。
  6. Chapter 3 states that the mainstream economics in the west also experienced the influence of mechanism and logic positivism and persisted to change from the positive principle of the logic positivism to the negative principle of the popperism, and continued the change from the negative principle of popperism to the post popperism, especially the delicate negativism principle of lakatos

    第3章闡明此後西方主流派經濟學又經歷了馬赫主義和邏輯實證主義的影響，並且由堅持邏輯實證主義的證實原則轉向波普爾主義的證偽原則，又由波普爾主義的證偽原則轉向後波普爾主義特別是拉卡托斯的精微的證偽主義原則。
  7. Through the simulation of large - scale circuit simulation proved that use the crossover tearing technology could detailed network structure, simplify the diagnostic process, and the neural network can parallel deal with the diagnosis information, and the logic operation can judge the information of the multi - fault. the illustrative simulation shows that it can increase the diagnosis speed and decrease the workload before test

    通過對大規模模擬電路的模擬證明，使用交叉撕裂明細網路結構，簡化診斷過程，且運用神經網路組對信息進行并行處理，邏輯分析運算對多故障信息進行處理判斷，大大提高了故障診斷速度，減小了測前工作量。
  8. Give out a correctness proof for the protocol based on the strand space model theory and kailar logic

    使用ssm理論和kailar邏輯證明了該協議的安全性質。
  9. Arguments designed to show the biblical and logical strengths of the doctrine of the son ' s full deity or vice versa the weakness of arius ' s subordinationism would not be likely to be effective unless the instinctive fear of an implied modalism were addressed and shown to be without solid foundation

    除非對暗含形態論的本能懼怕被處理到，並且被顯示沒有堅固的根基，為顯示聖子具有完全神性之教義具有聖經的和邏輯的優點，或者相應地，為表明亞流的從屬主義的弱點所設計的論證，都不大可能產生果效。
  10. Proving several theorems in first order logic based on back - and - forth method

    向前向後法證明一階邏輯的幾個定理
  11. In civil lawsuit, the setting of the criteria of civil lawsuit should be of dialectical unification of subjectivity and objectivity 、 justness and efficiency 、 commonness and individuality. in the subjective sense, we should judge their credibility, adherent to, no suspicion of intime conviction principally and suspicion of intime conviction subsidiarily in psychology ; to proof beyond a reasonable doubt in logic 、 to highly probability and preponderance of probability. in the objective sense, we should employ subjective facts as ratifying criterion

    具體到民事訴訟中，證明標準設置應以主觀與客觀的辯證統一、公正與效率的辯證統一、共性與個性的辯證統一為原則，在主觀方面，堅持心理學上以內心確信無疑為主體、內心確信有疑為補充，邏輯學上依次以排除一切合理懷疑、高度蓋然性、優勢蓋然性為標準進行裁斷；在客觀方面，以「客觀真實」為衡量標準。
  12. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  13. The results of simulation prove that the improved algorithms are feasible for evolving the digital combinational logic circuits and improve the evolvable efficiency and convergence performance

    模擬實驗結果證明了改進演化演算法對于實現函數級數字組合邏輯電路的硬體演化是可行的，並且提高了演化演算法的演化效率和收斂性能。
  14. An algebraic proof of completeness theorem of first - order logic

    一階邏輯完備性定理的代數證明
  15. About theorem, the paper introduces the syntax of ideal, also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property. at the same time, this paper corrects one not so perfect lemma proving in a literature written by f " abrega, herzog and guttman

    在理論上，本文引入了理想的語義，並首次使用了理想的概念對安全協議的秘密性進行嚴格的定義，同時使用理想的命題邏輯公式表示安全協議的秘密性；另外，本文修正了f ' abrega 、 herzog和guttman三人文獻中的一個引理的證明，原有的證明是不完善的。
  16. The logic evidence about gaining the exemplary recruits to our party from the new social stratums

    吸收新的社會階層中優秀分子入黨的邏輯證明
  17. Finally, we carried out the theoretically logical proof of the security of the revised protocol, using the formal logic analysis method

    最後，作者運用形式邏輯分析的方法對修改後協議的安全性進行了理論上的邏輯證明。
  18. 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協議的信心。
  19. 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

    摘要邏輯證明作為人類的思維形式，是人們認識、理解、把握事物的手段，也是人們探索真理、論證認識、檢驗認識和指導實踐不可缺少的重要工具。
  20. 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

    為此本文運用邏輯證明和統計分析的方法，對中國企業跨國經營所應具備的經濟基礎條件如經濟發展水平、產業發展優勢、企業所有權優勢等方面進行了研究，並認為制度因素對海外投資擴張的宏觀和微觀條件構成了最大的約束，必須調整我國的有關政策來推動對外直接投資條件的改善。
分享友人
分享到 Line

分享到臉書