predicate calculus language 中文意思是什麼

predicate calculus language 解釋
謂詞演算語言
  • predicate : n 1 【語法】謂語，述語。2 【邏輯學】謂項，述項，述詞，賓詞。3 本質；屬性。adj 謂語的，述語的；謂...
  • calculus : n. （pl. calculuses, -li ）1. 【醫學】結石，石；積石；牙垢。2. 【數學】運算，演算；微積分（學）。
  • language : n 1 語言；（某民族，某國的）國語；語調，措詞。2 （談話者或作者所使用的）言語，語風，文風，文體。3...
  1. This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus

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

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

分享到臉書