second-order predicate calculus

[second-order predicate calculus]
[second-order predicate calculus]

中文释义

[计] 二阶谓词演算

单词分析

单词结构:

second-order predicate calculus

字母数:31

记忆提示

🎯 重点记忆:

  • 单词拼写:second-order predicate calculus
  • 核心含义:[计] 二阶谓词演算