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....
predicate calculus 读音:美英 predicate calculus基本解释 谓词逻辑;谓词演算;谓词积分;谓词演算系统 分词解释 predicate断言,断定 calculus[医]结石,石,积石,牙垢
high order predicate calculus【计】 高阶谓词演算 first order predicate calculus【计】 一阶谓词演算 second order predicate calculus二阶谓词演算 相似单词 predicaten. 1.谓语 v. 1.宣称或断言(某事物) 2.[predicate sth on sth]使某事物依据於另事物; 使某必需的事物成为另事物的结果 ...
predicate calculus 英 [ˈpredɪkət ˈkælkjələs] 美 [ˈpredɪkət ˈkælkjələs]网络 谓词逻辑; 谓词演算; 谓词积分; 谓词演算系统 ...
predicate calculus_数学行业词汇 谓词演算 又称:谓词演算(functional calculus ) predicate calculus 例句 1.The atomic formula is called atom for short in predicate calculus. 在谓词演算中,有时将原子公式简称为原子. 2.Also, first - order predicate calculus isn't good enough anyway. ...
predicate calculus 英文predicate calculus 中文【计】 谓词演算
The meaning of PREDICATE CALCULUS is the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions as well as for unanalyzed propositions and logical connectives —called also functional calculus.
high order predicate calculus【计】 高阶谓词演算 first order predicate calculus【计】 一阶谓词演算 相似单词 predicaten. 1.谓语 v. 1.宣称或断言(某事物) 2.[predicate sth on sth]使某事物依据於另事物; 使某必需的事物成为另事物的结果 calculusn.[U] 微积分学,结石 ...
1) predicate calculus 述词计算2) Review on the Theory of Computing with Words 词计算理论述评3) account [英][ə'kaʊnt] [美][ə'kaunt] 计算;叙述4) computing with words 词计算 1. It is conformity and transcendency of this kind of theories such as rough set,fuzzy set,...
calculus n.[U] 微积分学,结石 second second 1 a. 1.第二的;第二次的 2.二等的,次等的 3.次要的;副的;从属的 4.另一的;附加的,另加的 5.隔一的 6.类似的,非原先的,比喻性的 7.非天生的,后天 order n. 1.为了做某事 2.[C,U]顺序,次序 3.[singular](某一时期政治、社会或经济的)...