词语含义

查询结果

广义谓词演算

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

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

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

更新 2026-07-16 00:09:35

扩展释义

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

拆字组词

相关词语

友情链接