题目
更新时间：2026-06-26 18:28:29
求解答，词语自动演绎是什么意思？再说说自动演绎有什么含义？答案
自动演绎的词语属性
拼音zì dòng yǎn yì
拼音字母zi dong yan yi
拼音首字母zdyy
注音ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
注音符号ㄗ ㄉㄨㄥ ㄧㄢ ㄧ
注音首符号ㄗㄉㄧㄧ
自动演绎的词语解释
自动演绎[ zì dòng yǎn yì ][ ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ ]
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
博达词典 - 汉语词语大全
博达词典为您提供专业的汉语词语查询服务。我们拥有海量的成语、近义词、反义词和组词资源，释义清晰，例句丰富。无论是学习还是写作，都能助您一臂之力。欢迎使用！