high-order predicate calculus

high-order predicate calculus 基本解释

网络  高阶谓词演算

计算机

重点词汇

• calculusn. 结石；微积分学
• highn. 高度, 高处 a. 高的, 高级的, 主要的, 高尚的, 高原的, 高音的, 昂贵的, 傲慢的 adv. 高度地, 奢侈地
• ordern. 次序, 规则, 命令 vi. 命令, 定货 vt. 整理, 命令, 定购 n. 顺序, 阶数 [计] 顺序, 阶数
• predicaten. 谓语, 谓项 a. 谓语的 vt. 断定为, 使基于, 意味着, 预言 vi. 断言 [计] 谓词; 判定; 断定