predicate calculus ['predikeit ˈkælkjələs] 释义 谓词演算 实用场景例句 全部 The atomic formula is called atom for short inpredicate calculus. 在谓词演算中,有时将原子公式简称为原子. 互联网 Also, first - orderpredicate calculusisn't good enough anyway....
calculusn.[U] 微积分学,结石 truth predicate真谓词 D calculus【计】 D演算 最新单词 reckon up是什么意思及反义词合计,累计,统计 reckon sth. in是什么意思及反义词v. 把某物计算在内 reckon on the abacus的中文解释用算盘计算 reckon on怎么翻译及发音指望,依赖;设想,预料 ...
predicate calculus 英文predicate calculus 中文【计】 谓词演算
unary predicate calculus单谓词演算 higher order predicate calculus高阶谓词演算 high order predicate calculus【计】 高阶谓词演算 first order predicate calculus【计】 一阶谓词演算 相似单词 predicaten. 1.谓语 v. 1.宣称或断言(某事物) 2.[predicate sth on sth]使某事物依据於另事物; 使某必需的事物成...
英文: Also, first-order predicate calculus isn't good enough anyway. 中文: 同时,从各方面来说,一阶谓词演算都不是足够好。 更详细... 英文: So anything that you may want to express on a complex object that would seem to require first-order predicate calculus can be expressed actually quit...
英文 first-order predicate calculus 中文 【计】 一阶谓词演算最新查询: first-level in first-level ma first-level me first-level me first-level st first-level st first-line first-line man first-mentione first-order as first-order de first-order de first-order di first-order di first-order...
词条predicate calculus with identity专业释义 <数学> 带恒等式的谓词演算 <科技> 带等式谓词演算词条提问 欢迎你对此术语进行提问>> 行业词表 石油纺织轻工业造纸采矿信息学农业冶金化学医学医药地理地质外贸建筑心理学数学机械核能汽车海事消防物理生物学电力电子金融财会证券法律管理经贸人名药名解剖学胚胎学生理学药学...
分享到: 二阶谓词演算 分类: 科技词汇|查看相关文献(pubmed)|免费全文文献 详细解释: 以下为句子列表: 分享到:
2.The atomic formula is called atom for short in predicate calculus. 在谓词演算中,有时将原子公式简称为原子。 3.In general, a grammatical clause contains a subject and a predicate. 一般说来,一个合乎文法的子句包含有主词与述语。 英文解释 n. 1.(logic) what is predicated of the subject of ...