组词典

词语

首页字典词典笔顺组词造句成语近义反义

词语

一阶述词演算

【一阶述词演算】基础信息（英文,拼音）

词语一阶述词演算
拼音yī jiē shù cí yǎn suàn
繁体一階述詞演算
英文first order predicate calculus

【一阶述词演算】是什么意思

用以规定命题常数、个体参数、常元素、常函数、逻辑联结词、量词、述词逻辑规则及公理等，以符号组成逻辑形式的演算。

来源：-- 资讯与通信术语辞典

网友查询

相关组词

【一】组词

【阶】组词

【述】组词

【词】组词

【演】组词

【算】组词

浏览历史