迅狗狗汉语词典 聊天词典

请问「自动演绎」是什么意思?

2026-07-12 15:22:47

「自动演绎」读音

拼音 zì dòng yǎn yì,注音 ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ

拼音字母zi dong yan yi
拼音首字母zdyy
注音符号ㄗ ㄉㄨㄥ ㄧㄢ ㄧ
注音首符号ㄗㄉㄧㄧ

「自动演绎」释义

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

推荐