请问「自动演绎」是什么意思?
2026-07-14 06:58:13
「自动演绎」读音
拼音 zì dòng yǎn yì,注音 ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
| 拼音字母 | zi dong yan yi |
|---|---|
| 拼音首字母 | zdyy |
| 注音符号 | ㄗ ㄉㄨㄥ ㄧㄢ ㄧ |
| 注音首符号 | ㄗㄉㄧㄧ |
「自动演绎」释义
扩展释义 定义 自动演绎,是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术,又称自动定理证明和机械定理证明。
推荐
请问「自动演绎」是什么意思?
「自动演绎」读音
拼音 zì dòng yǎn yì,注音 ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
| 拼音字母 | zi dong yan yi |
|---|---|
| 拼音首字母 | zdyy |
| 注音符号 | ㄗ ㄉㄨㄥ ㄧㄢ ㄧ |
| 注音首符号 | ㄗㄉㄧㄧ |
「自动演绎」释义
扩展释义 定义 自动演绎,是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术,又称自动定理证明和机械定理证明。