自动演绎
zì dòng yǎn yì
ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
📖 词语释义
- 拼音字母zi dong yan yi
- 首字母zdyy
- 注音符号ㄗ ㄉㄨㄥ ㄧㄢ ㄧ
- 更新2026-07-12 11:58:05
更多解释
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。