词典 / 科技

三阶谓词逻辑

predicate logic of the third order【数】;third order predicate logic【数】

暂无补充释义。

相关词条

述语,述部,属性,宾辞,述语的,述部的,断定,意味,使根据于,叙述,宾词

predicate

*['predikәt]；n. 谓语, 谓项；a. 谓语的；vt. 断定为, 使基于, 意味着, 预言；vi. 断言；

predicate

【计】一阶谓词演算

first-order predicate calculus

【计】谓词逻辑

predicate logic

半可算谓词类

class of semi-computable predicate【数】

一元谓词演算

one-place predicate calculus【数】

【计】一阶谓词演算

first order predicate calculus

【计】一阶谓词逻辑

first-order predicate logic

补充或纠正词条 →