谓词演算语言的英文

• predicate calculus language

• 谓词演算    predicate calculus
• 语言    language
• 谓词演算    first-order logic; predicate calculus; predicate logic; predicative calculus
• 狭谓词演算    restricted predicate calculus
• 二阶谓词演算    second-order predicate calculus
• 高阶谓词演算    high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
• 广义谓词演算    extended predicate calculus
• 三阶谓词演算    predicate calculus of the third order
• 一阶谓词演算    first-order logic; first-order predicate calculus; fopc
• 一元谓词演算    monadic predicate calculus; one place predicate calculus; unary predicate calculus
• 演算语言    algorithmic language
• 一阶纯谓词演算    pure predicate calculus of first order
• 带恒等式的谓词演算    predicate calculus with identity
• 基于谓词演算的方法    predicate calculus based method
• 全称量词 (一阶谓词演算)    universal quantifier in fopc
• 谓词演算中的连接词    connective in predicate calculus
• 程式设计及演算语言    program designing & algorithmic language
• 电脑原理与演算语言    principles of computer & algorithm
• 计算方法与演算语言    computational method & algorithmic language
• 演算语言与电脑操作    algorithmic language & computers practise
• 介词演算    prepositional calculus
• 计算语言    calculation syntax; computational language
• 计算语言学    computational linguistics
• 标准计算语言    standard computing language
• 会话计算语言    language for conversational computing