go top

predicate variable

  • 谓词变项

网络释义专业释义英英释义

  谓词变量

... 动词 [语言学] verb◇动词不定式 infinitive; 动词处理程序 verb processor 谓词变量 predicate variable 谓词变项 predicate variable ...

基于2458个网页-相关网页

  [数] 谓词变项

... 谓词变项 predicate variable 谓词常数 predicate constant 谓词符号 predicate symbol ...

基于116个网页-相关网页

  述词变数

... 述词使用 predicate use 述词变数 predicate variable 述词 / 变迁系统 predicate/transition system ...

基于12个网页-相关网页

  述语变数

... predicate symbol 谓语符号 predicate variable 述语变数 predicate verb 谓语动词 ...

基于8个网页-相关网页

短语

n-ary predicate variable n元可变谓词

variable predicate circumscription 可变谓词限定

  • 谓词变量
    谓词变项
  • 谓词变量
  • 述词变数

·2,447,543篇论文数据,部分数据来源于NoteExpress

Predicate variable

  • abstract: In first-order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first-order logic (FOL) they can be more properly called metalinguistic variables.

以上来源于: WordNet

双语例句

  • A view could use the value of this global variable in a predicate to select only those rows for which the user's department is assigned.

    视图可以谓词中使用全局变量,从而选择分配给用户所在部门

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定