广义谓词演算是什么意思？
再说说「广义谓词演算」有什么含义、怎么理解？
拼音guǎng yì wèi cí yǎn suàn
字母guang yi wei ci yan suan
首字母gywcys
注音ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ
注音符号ㄍㄨㄤ ㄧ ㄨㄟ ㄘ ㄧㄢ ㄙㄨㄢ
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。
再说说「广义谓词演算」有什么含义、怎么理解？
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。