English translation for "higher-order predicate calculus"

高阶谓词演算

Related Translations:

predicated:  断言的断定的

predicate:  n.1.【语法】谓语，述语。2.【逻辑学】谓项，述项，述词，宾词。3.本质；属性。adj.谓语的，述语的；谓项的，述项的。vt.1.论断，断言；断定…为某物的属性；断定某物有…的属性 (about; of)。2.〔美国〕使(声明、行动等)依据于 (on; upon), 使基于。3.宣言，宣布，声明。4.意味着，具有…的含义。5.【语法】表述。vi.断言 (of)。 Can

predicates:  谓词

predicate noun:  谓语性名词

diophantine predicate:  刁番图谓词

analytic predicate:  解析谓词

actional predicate:  动作谓语

predicate calculu:  谓词演算

compound predicate:  复合谓语

factive predicate:  叙述性谓词

Similar Words：

"higher-order of oscillation" English translation, "higher-order partial derivatives" English translation, "higher-order perturbation solution" English translation, "higher-order precedence grammar" English translation, "higher-order predicate" English translation, "higher-order residual aberration" English translation, "higher-order rules" English translation, "higher-order software" English translation, "higher-order software technology" English translation, "higher-order structure" English translation