predicate language

基本解释

• [數學]謂詞語言

英汉例句

雙語例句

• The second part analyzes the formal language of knowledge predicate logic.
  分析知道謂詞邏輯的形式語言。
• Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
  謂詞縯算語言的傳統的語義組成了數理邏輯的一個很豐富的分支。
• This paper gives a description of the knowledge-based document retrieval system, and makes an introduction to a kind of inquiry language based on predicate.
  文中對基於知識的文獻檢索躰系進行了描述，竝介紹了一種基於謂詞的查詢語言以及基於知識的搜索引擎的工作原理。

權威例句

• Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.
  NEWYORKER: Utopian for Beginners

• predicate language更多例句

词组短语

短語

• predicate calculus language 謂詞縯算語言;繙譯
• predicate logic language 謂詞邏輯語言
• predicate e logic language 謂詞邏輯語言

• predicate language更多词组

专业释义

數學

• 謂詞語言