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

专业释义

数学

• 谓词语言