second-order predicate calculus

second-order predicate calculus 基本解释

网络  二阶谓词演算

计算机

重点词汇

• secondn. 秒, 瞬间, 第二名, 支持者, 助手 a. 第二的, 其次的, 次要的, 附加的, 辅助的 num. 第二 vt. 当...助手, 支持
• calculusn. 结石；微积分学
• ordern. 次序, 规则, 命令 vi. 命令, 定货 vt. 整理, 命令, 定购 n. 顺序, 阶数 [计] 顺序, 阶数
• predicaten. 谓语, 谓项 a. 谓语的 vt. 断定为, 使基于, 意味着, 预言 vi. 断言 [计] 谓词; 判定; 断定