题目
更新时间:2026-07-16 04:47:24
求解答,词语自动演绎是什么意思?再说说自动演绎有什么含义?
答案

自动演绎的词语属性

拼音zì dòng yǎn yì
拼音字母zi dong yan yi
拼音首字母zdyy
注音ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
注音符号ㄗ ㄉㄨㄥ ㄧㄢ ㄧ
注音首符号ㄗㄉㄧㄧ

自动演绎的词语解释

自动演绎[ zì dòng yǎn yì ][ ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ ]

定义 自动演绎,是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术,又称自动定理证明和机械定理证明。

汇词词典 - 汉语词语成语大全

汇词词典,您的专属汉语老师!我们提供海量词语、成语、近义词反义词查询,释义精准,例句丰富。让学习更高效,写作更出彩。