自动演绎是什么意思？
再说说「自动演绎」有什么含义、怎么理解？
拼音zì dòng yǎn yì
字母zi dong yan yi
首字母zdyy
注音ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
注音符号ㄗ ㄉㄨㄥ ㄧㄢ ㄧ
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
再说说「自动演绎」有什么含义、怎么理解？
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。