栩科词语词典 - 汉语查词大全 AI 汉语助手
请问「自动演绎」是什么意思?

关于「自动演绎」

拼音 zì dòng yǎn yì,注音 ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ。数据更新于 2026-07-11 06:04:33。

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

扩展释义

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

拆字组词

相关词语