邏輯賦值 的英文怎麼說
中文拼音 [luófùzhí]
邏輯賦值
英文
logical assignment-
For example, the compiler will produce a warning when the user attempts to invoke a member of an unassigned object variable, return from a function without setting the return value, or execute a
例如,如果用戶嘗試調用未賦值的對象變量的成員,從未設置返回值的函數返回或者執行有邏輯錯誤的For example, the compiler produces a warning when the user attempts to invoke a member of an unassigned object variable, return from a function without setting the return value, or execute a
例如,當用戶試圖調用未賦值對象變量的成員、未設置返回值即從函數中返回,或執行異常捕獲邏輯有錯誤的A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems, introducing a predicate mu - calculus to characterize desired properties, and verifying value - passing concurrent processes using an " on - the - fly " algorithm
解決這個問題的一個方案是:使用帶賦值符號遷移圖( stga )作為並發傳值進程的模型,使用謂詞演算作為刻畫性質的邏輯,並採用動態實例化的演算法對傳值並發進程直接進行模型檢測。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的(弱)完備性Valuationally decided formula question in ukasiewicz propositional logic systems
命題邏輯系統中的賦值決定公式問題分享友人