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 |
| 注音 | ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ |
| 注音符号 | ㄍㄨㄤ ㄧ ㄨㄟ ㄘ ㄧㄢ ㄙㄨㄢ |
| 注音首符号 | ㄍㄧㄨㄘㄧㄙ |
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。
与「广义谓词演算」相关的查询结果