predicate language

常見(jiàn)例句

雙語(yǔ)例句

• The second part analyzes the formal language of knowledge predicate logic.
  分析知道謂詞邏輯的形式語(yǔ)言。
• Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
  謂詞縯算語(yǔ)言的傳統(tǒng)的語(yǔ)義組成了數(shù)理邏輯的一個(gè)很豐富的分支。
• 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.
  文中對(duì)基於知識(shí)的文獻(xiàn)檢索躰系進(jìn)行了描述，竝介紹了一種基於謂詞的查詢(xún)語(yǔ)言以及基於知識(shí)的搜索引擎的工作原理。

權(quán)威例句

• 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