high-order predicate calculus
读音：英 [haɪ ˈɔːdə(r) ˈpredɪkət ˈkælkjələs]
美[haɪ ˈɔːrdər ˈpredɪkət ˈkælkjələs]
high-order predicate calculus 基本解释
[计] 高阶谓词演算
重点词汇
high n. 高度, 高处 a. 高的, 高级的, 主要的, 高尚的, 高原的, 高音的, 昂贵的, 傲慢的 adv. 高度地, 奢侈地
order n. 次序, 规则, 命令 vi. 命令, 定货 vt. 整理, 命令, 定购 n. 顺序, 阶数 [计] 顺序, 阶数
predicate n. 谓语, 谓项 a. 谓语的 vt. 断定为, 使基于, 意味着, 预言 vi. 断言 [计] 谓词; 判定; 断定
calculus n. 结石；微积分学
最新查询单词：
in wonder
水上运动英文
in vitro
in virtue of
in vacuo
in use
in unison
in two
in tune
in tow
更新时间：2026-11-01 03:59:32
更新时间：2026-11-01 03:59:32
high-order predicate calculus是什么意思 high-order predicate calculus怎么读 high-order predicate calculus中文意思 翻译