logic completeness 中文意思是什麼

logic completeness 解釋
邏輯完備性
  • logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
  • completeness : 完備性
  1. An algebraic proof of completeness theorem of first - order logic

    一階邏輯完備性定理的代數證明
  2. Another important problem in multiple - valued logic completeness theory is decision for sheffer functions, which reduced to determining the minimal covering of precomplete classes in multiple - valued logic

    多值邏輯完備性理論中的另一重要問題是sheffer函數的判定問題，此問題可歸結為定出所有極大封閉集（準完備集）的最小覆蓋。
  3. Followed the proving of validness of axioms is the proving of soundness and consistency for the negotiation logic. based on a series of propositions and lemmas, the completeness of the negotiation logic is proved by construction. then the logic completeness and the consistency of ctn system are presented

    在對公理的有效性進行證明之後，證明了協商推理邏輯的可靠性和無矛盾性；在得出的一系列命題和引理基礎上，以構造的方法證明了協商推理邏輯的完全性，最後得出協商推理邏輯的完備性和整個ctn系統的無矛盾性。
  4. 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上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。
  5. To fill the iii completeness of data relation, we need negative association rules, just as it needs negative real number in real number system, negative proposition in logic system

    正如實數系統中需要負實數、邏輯系統中需要否命題一樣，為了滿足數據關系的完備性，我們需要負關聯規則。
  6. The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic

    第二部分：在以bl邏輯為背景的bl代數的定義中去掉限制性較強的條件a b = a （ a b ） ，建立了一種新的代數系統rl ，並進一步研究了rl代數類的性質；以rl代數為賦值域建立了一種更為廣泛的模糊命題演算的形式系統? ?剩餘格值邏輯系統rl ，得到了一系列定理，同時研究了邏輯系統rl的（弱）完備性
  7. In multiple - valued logic theory, completeness theory of function sets is an important and fundamental problem, it is also the problem which must be solved in automata theory and multiple - valued logic network. the solution of this problem depends on determining all the precomplete classes in multiple - valued logic function sets

    函數系的完備性判定問題是多值邏輯理論中基本而重要的問題，同時也是自動機理論，多值邏輯網路中必須解決的問題，此問題的解決依賴于定出多值邏輯函數集中的所有極大封閉集（準完備集） 。
  8. The research of multiple - valued logic includes many aspects. two of its most important parts are completeness theory of function sets, decision and construction for sheffer functions

    多值邏輯的研究內容有很多，函數系的完備性判定、 sheffer函數的構造與判定是其中的重要組成部分。
  9. And use bna logic theories to prove the completeness and validity of the improved protocol. 4 on the base of former research, a new model of user authentication system is designed based on the improved kerberos protocol and public key encryption system

    並採用ban邏輯理論證明改進協議的完備性、有效性； 4 、提出了基於改進kerberos協議和公鑰密碼體制的身份認證服務的模型，並給出模型的實際應用。
分享友人
分享到 Line

分享到臉書