广义谓词演算

词语释义
guǎng yì wèi cí yǎn suàn | ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ
拼音字母
guang yi wei ci yan suan
拼音首字母
gywcys
注音符号
ㄍㄨㄤ ㄧ ㄨㄟ ㄘ ㄧㄢ ㄙㄨㄢ

百科释义

广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。

组词