higher order predicate calculus中文翻译

higher order predicate calculus

中文翻译

高阶谓词演算

相关单词

higher
上扬

order
读音：['ɒ:dә]
n.次序，规则，命令
vi.命令，定货
vt.整理，命令，定购
n.顺序，阶数
顺序，阶数
有序；定货
目(生物学分类)
定货(单)，法院命令，汇票

predicate
读音：['predikәt]
n.谓语，谓项
a.谓语的
vt.断定为，使基于，意味着，预言
vi.断言
谓词；判定；断定