predicate calculus language的意思|示意

美 / / 英 / /

谓词演算语言

谓词演算语言谓词演算语言 predicate calculus language 一阶谓词演算 first-order logic; first-order predicate calculus; fopc ..

翻译 ... predicate calculus language翻译【计】谓词演算语言 pipe joint翻译【化】管接头; 管子接头 proportional rate翻译【经】成比例运费率 ...

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.

这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。