predicate calculus 中文意思是什麼
predicate calculus
解釋
述詞計算-
The atomic formula is called atom for short in predicate calculus
在謂詞演算中，有時將原子公式簡稱為原子。 -
This is not expressible as a first - order predicate calculus property
這就是一個一階謂詞演算不可表述的屬性。 -
Also, first - order predicate calculus isn ' t good enough anyway
同時，從各方面來說，一階謂詞演算都不是足夠好。 -
This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus
這種情況下的斷言似乎就需要實現特定的語言擴展，於是一些人建議引入一階謂詞演算。 -
This kind of assertion seems to require special r nlanguage extensions and has led people to suggest introducing r nfirst - order predicate calculus
這種情況下的斷言似乎就需要實現特定的語言擴展，於是一些人建議引入一階謂詞演算。 -
Informally, xquery is designed to be able to construct any xml document that can be computed from input xml documents using the power of the first - order predicate calculus
Xquery被非正式地設計為可以構造xml文檔，而這些xml文檔是通過對輸入的xml文檔進行一階謂詞演算得出的。 -
The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems. they are fit for dealing with incomplete information
中介邏輯命題演算系統mp ~ m和中介邏輯謂詞演算系統mf ~ m是一種適用於處理不完全信息的新的邏輯系統。 -
So anything that you may want to express on a complex object that would seem to require first - order predicate calculus can be expressed actually quite nicely within the confines of the programming language
所以對於一個復雜對象，任何看起來需要一階謂詞演算才能描述的東西，實際都可以在編程語言范疇內實現十分精細地表述。 -
This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. and a logic deduction system is put forward in this paper : refactoring reliability deduction system
引入了一階謂詞演算和前後斷言方法，並且自定義了一個重構可靠性證明的邏輯推理系統：重構可靠性推演系統。 -
The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system. this system is fit for dealing with incomplete information. it can act as the theory foundation for dealing with incomplete information
中介邏輯命題演算系統mpm和中介邏輯謂詞演算系統mfm是在改造原有的中介邏輯系統的基礎上提出的一種新的邏輯系統，該邏輯系統特別適用於處理不完全信息，可以作為處理不完全信息的理論基礎。 -
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 ）作為並發傳值進程的模型，使用謂詞演算作為刻畫性質的邏輯，並採用動態實例化的演算法對傳值並發進程直接進行模型檢測。 -
This has led some people who design the specification mechanisms for programming languages, or in the case of uml, for modeling languages, to include facilities from first - order predicate calculus as a language extension
這就促使一些人在編程語言的描述機制和建模語言（如統一建模語言， uml ）的處理機制中加進了部分一階謂詞演算的東西，作為一種功能擴展。
分享友人