first-order predicate calculus

first-order predicate calculus 基本解释

[计] 一阶谓词演算

词组短语

1、first order predicate calculus [计] 一阶谓词演算

first-order predicate calculus 用法和例句

1、NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus

一阶谓词演算自然演绎型直觉主义系统

重点词汇

first n. 第一，最初；头等；一号，；[乐]高音部 adv. 最早，最初；首次；宁愿；优先 adj. 第一流的；最初的，最早的；基本的，概要的；高音的 num. 第一

order n. 次序, 规则, 命令 vi. 命令, 定货 vt. 整理, 命令, 定购 n. 顺序, 阶数 [计] 顺序, 阶数

predicate n. 谓语, 谓项 a. 谓语的 vt. 断定为, 使基于, 意味着, 预言 vi. 断言 [计] 谓词; 判定; 断定

calculus n. 结石；微积分学