命題推演 的英文怎麼說

中文拼音 [mìngtítuīyǎn]
命題推演 英文
propositional inference
  • 題 : Ⅰ名詞1. （題目） subject; title; topic; problem 2. （姓氏） a surname Ⅱ動詞（寫上） inscribe; write
  • 推 : 動詞1 （向外用力使物體移動） push; shove 2 （磨或碾） turn a mill or grindstone; grind 3 （剪或削...
  • 演 : 動詞1 （演變; 演化） develop; evolve 2 （發揮） deduce; elaborate 3 （依照程式練習或計算） drill;...
  • 命題 : 1 （出題目） assign a topic; set a question 2 [邏輯學] （表達判斷的句子） proposition; statement;...
  • 推演 : deduce; derive; infer
  1. It has been too often assumed that " proof " must be what kant called " apodeictic " that is of the kind that we used to be familiar within euclid, where the argument could be concluded with a triumphant q. e. d. because every rational person who understands the propositions is compelled to accept the inference

    我們常常假定， 「證據」一定是康德所稱之「絕對肯定的」 ? ?那種我們在歐氏推論中所熟悉的，那種可以把論據推演到成功地「證完」 ，因為每個懂得命題的具有理性的人都一定會接受那樣的推斷。
  2. Jerome smith, who performed the monologue, was the recent winner of the santa barbara jazz society artist of the year 1998. at the age of 79, he released his first personal album. also a methodist minister, with his deep love for humanity and joy of life, mr. smith s participation in this concert seemed to be in perfect accord with the theme of this concert

    此外，還要特別介紹一下擔任男聲獨白的傑隆史密斯，他膺選為1998年度爵士藝人，且以79歲高，推出了首張個人精選專集，製作人即菲德卡林他同時也是基督教美以美教派的傳教士，而基於一份對人性之關愛與生命喜悅的分享，老先生欣然答允此次的演出，似乎正是對晚會主題所做出的一項善意回應。
  3. In this paper, a new type algebra is introduced, it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus. the main purpose of this paper is to investigate the various properties of the new algebra. in addition, this paper constructs an axiom set based on the medium logic propositional calculus system mpm, and gives a proof of its completeness

    本文通過對mpm中介邏輯命題演算系統進行代數抽象，建立了一個新的代數系統，討論了該代數系統的性質，並利用該代數系統的代數性質構造了中介命題演算系統mpm上的一個公理完備集合，使用該公理集合可以方便的推導出mpm上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。
  4. Solutions to problems are offered after an analysis of the factors which affect the balance of pension funds, a prediction on the trend of future pension models is provided after illustrating the evolution and operation of the old models and flnally there is a discussion on the applicability of life 3 cycle theory and the closing generation theory of pension funds

    通過對影響基金平衡的因素的推導，提出了相應的基金平衡的管理辦法。根據供給模式的歷史演變、運行機制，對供給模式的發展趨勢進行了分析預測。最後對生命周期假說和世代交疊模型對研究養老金問題的適用性進行了分析。
  5. In 1996, professor wang guojun built formal deductive system l * of fuzzy prepositional calculus, then in the frame of system l *, constructed the logical base for fuzfcy reasoning rules from sematics

    王國俊教授於1996年建立了模糊命題演算的形式系統l ~ * ，之後在系統l ~ *的框架中，從語義上為模糊推理規則構建了邏輯基礎。
  6. This paper proposed a problem - solving theory based formal model, introduced the basic syntax and p - calculus based semantics of the model, and presented some pivotal concepts and propositions in the deduction of the model

    摘要提出了一種基於問題求解理論的密碼協議模型，給出了模型的基本語法以及基於演算的形式語義，明確了模型推理過程中涉及到的一些關鍵性的概念和命題。
分享友人
分享到 Line

分享到臉書