演繹證明 的英文怎麼說

中文拼音 [yǎnyìzhèngmíng]
演繹證明 英文
deductive proof
  • 演 : 動詞1 （演變; 演化） develop; evolve 2 （發揮） deduce; elaborate 3 （依照程式練習或計算） drill;...
  • 繹 : Ⅰ動詞[書面語] （抽出或理出事物的頭緒來） unravel; sort out Ⅱ名詞（姓氏） a surname
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 演繹 : [邏輯學] deduction; inference; deduce
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. Context : the pythagorean theorem was proved using deductive reasoning

    上下文：畢德哥拉斯定理被人們運用演繹推理加以了證明。
  2. This dissertation is based on concrete study. documentary research and content analysis are applied to describe and reveal the developing track of the nation ' s publishing industry ; qualitative and quantitative analyses are used in a detailed examination of the status quo of the publishing industry ; analogy, inductive and deductive methods are used to draw out the developing line and strategic choices in reality of the industry. the dissertation is divided into 4 chapters

    本論文研究方法以實證為基礎，採用文獻研究方法、內容分析方法，描述和揭示了我國出版業發展的軌跡；採用定性和定量分析方法，運用統計、數學工具對我國出版業的現狀進行了較為詳盡的解剖分析；運用類比、歸納、演繹的方法，明確了我國出版產業發展的路向和實際操作的策略選擇。
  3. Distinguishing from formal reasoning, dialectical reasoning is a reasoning which can get definite knowledge in the discussion of problems ( topia ) by rebuttal, distinction and induction, when the legal or factual premise is absent, or the premise is controversial. in short, dialectical reasoning is an instrument to seek propositions and conclusions from possibility. in dialectical reasoning, judges often use their own judgments to find a legal or factual precondition

    傳統的形式主義推理觀的機械性和局限性受到越來越多的批判，而現代法律推理學說更加關注非演繹的辯證推理在法律推理過程中的重要作用，哲學詮釋學的興起和實踐理性的復歸，也使辯證推理在各國的法律實踐中普遍運用起來，然而其明顯的價值判斷傾向使推理過程看起來過于主觀。
  4. But by absorbing the reasonable viewpoint of eliminating the fact / value dichotomy, going in line with the standard of rational acceptability extended by humans ' ecological practice and being based on the analysis of the complex relations of fact and value in life community, rather than by following the traditional deductive model of justification we can create a way of justification with nonlinear thinking and integrative arguments, and thus we can not only avoid " the naturalistic fallacy ", but also put forward a non - logical justification for ecological ethics

    但通過吸納社會領域消解事實與價值絕對二分的合理主張，並根據人類生態實踐而擴展道德論證的可合理接受性標準，在分析生命共同體中事實與價值的復雜關系的基礎上，創設一種非線性思維的綜合論述的證明方式，而不是沿用傳統的演繹模型的證明方式，就既可以避免「自然主義謬誤」 ，又能夠對生態倫理學做出一種非邏輯形式的合理論證。
  5. The dissertation explains the ideas and characters of generalized genetic algorithm. the evolution method that the directional evolution is combined with the directional transfer of local optimal status to reach the global optimization rapidly is explicated from three aspects : syllogism, mathematic deduction and biologic evolution

    文中詳細介紹了廣義遺傳演算法的思想和特點，闡明了廣義遺傳演算法採用定向演化和局部最優狀態定向轉移相結合從而快速達到全局最優的尋優模式，從演繹邏輯、數學推理和生物進化三個方面證明了演算法的合理性。
  6. It is an extension of core of manna and pnueli " s pltl. in succession, a formal axiom deductive system is presented. it ' s soundness based formal semantic defined in this thesis is proved. as an example, we specify grc ( generalized railroad crossing ), which is a benchmark problem for real time systems, and verify it ' s safety and liveness

    作為它的一次實際應用，我們用它對于實時系統中的一個典型實例： grc （ generalizedrailroadcrossing ）進行了描述，給出了它的系統規約，在此基礎上，演繹式的證明了系統的一個安全性和活性命題。
  7. People may be aware of the existence of pubic notary in their life, but they are still lack of the understanding of the concept. actually, public notary system is one of the important and indispensable components of national legal system and is one of the symbols of the structural integrity of the law system of a nation

    這樣一個與法治文明有著密切聯系的司法制度，在中國的法治史演繹到了21世紀的今天，我卻遺憾的發現，縱觀我國法律制度各領域發生的變革，甚至某些部門或行業也取得了長足的進展，但是公證制度作為一個完整的法律體系中非常重要的一環卻被冷落到了一邊，這不能不說是我國司法改革的敗筆之一。
  8. Actually, a variety of pre - communicative approaches, inductive or deductive, have dealt seriously with language use and practice, but no one alone has succeeded in doing so due to their individual partialness and narrowness resulting from their adoption of either empiricism or rationalism only

    而實踐證明，各種教學法，無論它屬于歸納教學法還是演繹教學法，不管它是建立在經驗主義之上或理性主義之上，都只是從不同的側面強調了語言的使用。
分享友人
分享到 Line

分享到臉書