谓词演算系统

  • 网络predicate calculus; systems of functional calculus; FCE

谓词演算系统谓词演算系统

谓词演算系统

predicate calculus

...德国数学家、哲学家Gottlob Frege 推出谓词演算系统(predicate calculus)才使这一局面得到改变。

systems of functional calculus

最严峻的挑战在于,上面运用了谓词演算系统systems of functional calculus)、量词理论(quantification theory)所写成的 …

FCE

3.3.1 带等词的一阶谓词演算系统(FCE)29-34

热词推荐