基本解释[计算机科学技术]较高阶述词演算词组短语短语higher -order predicate calculus 同高阶谓词演算higher order predicate calculus更多词组专业释义计算机科学技术较高阶述词演算