释
自动演绎
zì dòng yǎn yì · ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
修撰于 2026-06-30 17:35:42
音义
| 拼音 | zì dòng yǎn yì |
|---|---|
| 字母 | zi dong yan yi |
| 首字母 | zdyy |
| 注音 | ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ |
| 注音符号 | ㄗ ㄉㄨㄥ ㄧㄢ ㄧ |
广训
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
zì dòng yǎn yì · ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
修撰于 2026-06-30 17:35:42
| 拼音 | zì dòng yǎn yì |
|---|---|
| 字母 | zi dong yan yi |
| 首字母 | zdyy |
| 注音 | ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ |
| 注音符号 | ㄗ ㄉㄨㄥ ㄧㄢ ㄧ |
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。