predicate logic language

基本解释

• [电子、通信与自动控制技术]谓词逻辑语言

英汉例句

双语例句

• 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.
  语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明。
• 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.
  谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能产生和发展的最重要的理论基础。

权威例句

• 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更多词组

专业释义

电子、通信与自动控制技术

• 谓词逻辑语言