higher order predicate calculus

读音：英 [ˈhaɪə(r) ˈɔːdə(r) ˈpredɪkət ˈkælkjələs] 美[ˈhaɪər ˈɔːrdər ˈpredɪkət ˈkælkjələs]

[计] 高阶谓词演算

higher adj. 高高的；高级的；上级的；高等的；高的( high的比较级 )；高尚的；高地的；高级的

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

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

calculus n. 结石；微积分学

higher order predicate calculus是什么意思 higher order predicate calculus怎么读 higher order predicate calculus中文意思翻译