first-order predicate calculus 中文意思是什麼

first-order predicate calculus 解釋
一階謂詞演算
  • first : adj 1 最初的，最早的。2 最上等的，第一流的。3 基本的，概要的。4 高音（調）的。n 1 最初，第一；第...
  • order : n 1 次序，順序；整齊；（社會）秩序，治安；狀況，常態；健康狀態；條理；會場秩序；議事程序，日程；...
  • predicate : n 1 【語法】謂語，述語。2 【邏輯學】謂項，述項，述詞，賓詞。3 本質；屬性。adj 謂語的，述語的；謂...
  • calculus : n. （pl. calculuses, -li ）1. 【醫學】結石，石；積石；牙垢。2. 【數學】運算，演算；微積分（學）。
  1. This is not expressible as a first - order predicate calculus property

    這就是一個一階謂詞演算不可表述的屬性。
  2. Also, first - order predicate calculus isn ' t good enough anyway

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

    這種情況下的斷言似乎就需要實現特定的語言擴展，於是一些人建議引入一階謂詞演算。
  4. 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文檔進行一階謂詞演算得出的。
  5. 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

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

    引入了一階謂詞演算和前後斷言方法，並且自定義了一個重構可靠性證明的邏輯推理系統：重構可靠性推演系統。
  7. 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 ）的處理機制中加進了部分一階謂詞演算的東西，作為一種功能擴展。
分享友人
分享到 Line

分享到臉書