- predicate calculus of the third order
下载手机词典可随时随地查词查翻译
关注微信公众号：chachacidian，回复:三阶谓词演算，即可在微信中查询翻译
三阶谓词演算的英文
发音:
相关词汇
- 三: three
- 阶: steps; stairs
- 谓词演算: predicate calculus
- 二阶谓词演算: second-order predicate calculus
- 高阶谓词演算: high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
- 一阶谓词演算: first-order logic; first-order predicate calculus; fopc
- 全称量词 (一阶谓词演算): universal quantifier in fopc
- 谓词演算: first-order logic; predicate calculus; predicate logic; predicative calculus
- 狭谓词演算: restricted predicate calculus
- 三阶谓词逻辑: third order predicate logic
- 广义谓词演算: extended predicate calculus
- 谓词演算语言: predicate calculus language
- 一元谓词演算: monadic predicate calculus; one place predicate calculus; unary predicate calculus
- 一阶纯谓词演算: pure predicate calculus of first order
- 带恒等式的谓词演算: predicate calculus with identity
- 基于谓词演算的方法: predicate calculus based method
- 谓词演算中的连接词: connective in predicate calculus
- 高阶谓词: higher order predicate
- 一阶谓词: first-order predicate; predicate of first order
- 介词演算: prepositional calculus
- 一阶谓词逻辑: first order predicate logic; first-order logic; first-order predicate logic
- 三阶: mihashi; mikai; mishina; sangai; sankai; trvalent
- 谓词: [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
- 演算: perform mathematical calculations; calculation; calculus◇演算器 exerciser
- 三阶节: sangai bushi