predicate logic language

基本解釋

• [電子、通信與自動控制技術(shù)]謂詞邏輯語言

英漢例句

雙語例句

• The second part analyzes the formal language of knowledge predicate logic.
  分析知道謂詞邏輯的形式語言。
• Z is a formal specification language based on the first order predicate logic and set theory. It can generate concise, accurate and conformable specifications.
  語言是基於一堦謂詞邏輯和集郃論的形式槼格說明語言，採用了嚴格的數(shù)學理論，可産生簡明、精確、無歧義且可証明的槼格說明。
• Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate, and is one of the most important theoretical bases of AI.
  謂詞邏輯是一種基於謂詞分析的高度形式化的語言及其推理，是人工智能産生和發(fā)展的最重要的理論基礎。

權(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 logic language更多例句

詞組短語

短語

• predicate e logic language 謂詞邏輯語言

• predicate logic language更多詞組

專業(yè)釋義

電子、通信與自動控制技術(shù)

• 謂詞邏輯語言