- predicate calculus language
下载手机词典可随时随地查词查翻译
关注微信公众号：chachacidian，回复:谓词演算语言，即可在微信中查询翻译
谓词演算语言的英文
发音:
相关词汇
- 谓词演算: 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