formal system of logic 中文意思是什麼
formal system of logic
解釋
邏輯形式系統-
Then the axiomatic of negotiating logic is presented to give the system a formal description, and then appropriateness of axioms is interpreted
之後給出基於模態邏輯的協商推理邏輯公理體系來形式化地描述多agent系統,再對公理的合理性進行充分的解釋。 -
The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas, while the system presented as a kripke structure
它通常採用狀態空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態並發系統的技術。 -
By the study of general feature of object - oriented technology and the reference of the result of object - oriented formal logic analysis, we give a set of object - oriented metric standards, which are performed well and in different level ( class level and system level ). finally we implement a visual object - oriented analysis auxiliary tool. the tool can support persistent object in object - oriented system and the alalysis of relation between objects
通過對oo語言的共性的研究及引入面向對象形式化邏輯分析的結果,本文給出了一套不同層次上(類層次上和系統層次上)的、可操作性好的面向對象系統度量集。並設計了一個可視化的面向對象分析輔助工具,利用該工具,用戶可以在設計過程中進行各種面向對象特性的度量,而且還能對系統中類之間、對象之間的關系進行分析和評價。 -
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的(弱)完備性 -
Generalized tautologies theory of the basic formal system of universal logic
泛邏輯的基本形式系統中的廣義重言式理論
分享友人