释义 |
predicate calculus 'predikeitˈkælkjələs 短语⁴⁵⁸⁴³ 基本英英近义反义例句例句 谓词演算
Noun: a system of symbolic logic that represents individuals and predicates and quantification over individuals as well as the relations between propositions近义词 functional calculus函项演算 Also, first-orderpredicate calculusisn't good enough anyway.同时,从各方面来说,一阶谓词演算都不是足够好。 In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model. 本文提出了一种用条件谓词逻辑来表示和推理 PKI信任关系的方法。 cnki This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer. 通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。 cnki |