广义谓词演算
guǎng yì wèi cí yǎn suàn ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ

词语解释

拼音
guǎng yì wèi cí yǎn suàn
拼音字母
guang yi wei ci yan suan
拼音首字母
gywcys
注音
ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ
注音符号
ㄍㄨㄤ ㄧ ㄨㄟ ㄘ ㄧㄢ ㄙㄨㄢ
更新时间
2026-07-11 19:17:32

百科释义

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

组词

相关词语

友情链接： 抓书网 短词网 书号查询 星云网 生肖达人是什么意思？ 天帅是什么意思？ 刘宁波 liú níng bō是什么意思？ 西宁天气预报30天是什么意思？ 邓乐军是什么意思？ 离骚是什么意思？ 麦麦家手工炸鸡加盟多少钱？条件是什么？是什么意思？ 讱是什么意思？ 摩是什么意思？ 抢七大战作文是什么意思？ 上班励志的句子是什么意思？ 早老素是什么意思？ 两种颜色中间色计算 两种颜色之间的中间颜色计算工具是什么意思？ 南方人物周刊杂志订阅是什么意思？ 鬲是什么意思？ 汝州在线是什么意思？