謂詞演算 的英文怎麼說

中文拼音 [wèicíyǎnsuàn]
謂詞演算 英文
first-order logic
  • 謂 : Ⅰ動詞1. （說） say 2. （稱呼; 叫做） call; name Ⅱ名詞1. （意義） meaning; sense 2. （姓氏） a surname
  • 詞 : 名詞1 （說話或詩歌、文章、戲劇中的語句） speech; statement; lines of play 2 （一種韻文形式 起於唐...
  • 演 : 動詞1 （演變; 演化） develop; evolve 2 （發揮） deduce; elaborate 3 （依照程式練習或計算） drill;...
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 演算 : perform mathematical calculations; calculation; calculus演算器 exerciser
  1. The atomic formula is called atom for short in predicate calculus

    在謂詞演算中，有時將原子公式簡稱為原子。
  2. This is not expressible as a first - order predicate calculus property

    這就是一個一階謂詞演算不可表述的屬性。
  3. The algorithm of this paper is applicable to two - dimension factorizing program, which includes one idb predicate

    本文的演算法適合於包含一個idb謂詞的二維可分解程序。
  4. Also, first - order predicate calculus isn ' t good enough anyway

    同時，從各方面來說，一階謂詞演算都不是足夠好。
  5. This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus

    這種情況下的斷言似乎就需要實現特定的語言擴展，於是一些人建議引入一階謂詞演算。
  6. This kind of assertion seems to require special r nlanguage extensions and has led people to suggest introducing r nfirst - order predicate calculus

    這種情況下的斷言似乎就需要實現特定的語言擴展，於是一些人建議引入一階謂詞演算。
  7. In this paper, the original extended relational model has been improved by adopting mfm in the research of incomplete information database

    本文將三值邏輯謂詞演算系統mf ~ m應用在不完全信息數據庫的研究中，對原有的擴充關系模型做了改進。
  8. 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文檔進行一階謂詞演算得出的。
  9. 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是一種適用於處理不完全信息的新的邏輯系統。
  10. 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

    所以對於一個復雜對象，任何看起來需要一階謂詞演算才能描述的東西，實際都可以在編程語言范疇內實現十分精細地表述。
  11. 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

    引入了一階謂詞演算和前後斷言方法，並且自定義了一個重構可靠性證明的邏輯推理系統：重構可靠性推演系統。
  12. 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是在改造原有的中介邏輯系統的基礎上提出的一種新的邏輯系統，該邏輯系統特別適用於處理不完全信息，可以作為處理不完全信息的理論基礎。
  13. In this paper, we propose a new structure, called multi - dimensional predicate itemset tree ( mpit ), and a highly efficient multi - dimensional association rules mining algorithm based on this structure

    本文提出了一種新的數據結構? ?多維謂詞集項集樹mpit （ multi - dimensionpredicateitemsetstree ）和基於此結構的高效的多維關聯規則產生演算法。
  14. 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 ）作為並發傳值進程的模型，使用謂詞演算作為刻畫性質的邏輯，並採用動態實例化的演算法對傳值並發進程直接進行模型檢測。
  15. 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 ）的處理機制中加進了部分一階謂詞演算的東西，作為一種功能擴展。
  16. This paper develops a reasoning algorithm special for the combination of predicate presentation and fuzzy knowledge, which effectively solves the conflict between predicate logic and uncertain reasoning

    為了解決謂詞不能有效的進行不精確推理的問題，提出了針對謂詞結合模糊知識的推理演算法，建立了基於謂詞的模糊推理系統。
  17. Inference methods of several kinds of special forms of fopl and searching strategies of inference algorithm is also discussed

    本文還對一階謂詞的幾種具體形式的petri網推理方法和推理演算法的搜索策略進行了討論。
  18. To study retrieval methods for pattern base, give a formal retrieval method for pattern base - a method of design pattern selection based on prediction matching to reuse the design patterns easily

    深入研究模式庫的檢索方法，給出一種形式化的模式庫檢索方法：基於謂詞匹配的設計模式選取演算法，使設計者能快速方便地重用設計模式。
  19. A formal retrieval method for pattern base - a method of design pattern selection based on prediction matching - is brought forward. we expect to extend the research in this field and promote the reuse of design pattern in software design

    並提出一種形式化模式庫檢索方法：基於謂詞匹配的設計模式選取演算法，以拓展對這一領域的探索，推動設計模式在軟體設計中的重用。
  20. This thesis gives a model language and a moderately complete formal description which can be used to prove the properties of static and dynamic data dependencies, and defines the notions in the iterative relaxation method formally. the program theories about the iterative relaxation method and its improvement are investigated, whose results include : the generalization of the predicate slices proposed by neelam gupta et al to path - wise static slices, and the proofs of the soundness of the construction algorithm of path - wise static slices and the soundness of the improvement

    本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於證明與靜態、動態數據依賴關系有關的程序性質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片，證明路徑靜態切片構造演算法的正確性，證明改進后的方法與原方法所生成的線性約束系統相同。
分享友人
分享到 Line

分享到臉書