词语含义

查询结果

广义谓词演算

guǎng yì wèi cí yǎn suàn

ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ

「广义谓词演算」是什么意思?

更新 2026-07-11 19:40:13

扩展释义

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

拆字组词

相关词语

热门组词

友情链接