自动演绎

拼音 zì dòng yǎn yì · 注音 ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ · 2026-07-12 09:04:15
自字组词 动字组词 演字组词 绎字组词

基本属性

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

扩展释义

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

相关推荐