謂詞演算語言 的英文怎麼說

中文拼音 [wèicíyǎnsuànyǔyán]
謂詞演算語言 英文
predicate calculus language
  • 謂 : Ⅰ動詞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 （謀劃;計...
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 言 : Ⅰ名詞1. （話） speech; word 2. （漢語的一個字） character; word 3. （姓氏） a surname Ⅱ動詞（說） say; talk; speak
  • 演算 : perform mathematical calculations; calculation; calculus演算器 exerciser
  • 語言 : language
  1. This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus

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

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

    所以對於一個復雜對象，任何看起來需要一階謂詞演算才能描述的東西，實際都可以在編程語言范疇內實現十分精細地表述。
  4. 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 ）的處理機制中加進了部分一階謂詞演算的東西，作為一種功能擴展。
  5. 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

分享到臉書