自动演绎
概述
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
2 扩展释义
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
9 词语组词
相关词条
本词条最后更新于 2026-07-13 23:05:46
友情链接
抓书网
短词网
书号查询
星云网
漂亮“五一”祝福图是什么意思？
nong是什么意思？
合肥天气预报30天是什么意思？
侨源山庄是什么意思？
勃然奋励 汉语词语 · 释义文档是什么意思？
帮衬 bāng chèn是什么意思？
百家号是什么意思？
深圳特产是什么意思？
邯郸天气一周查询是什么意思？
关于皇宫有关的词语是什么意思？
福州天气预报30天是什么意思？
查看宁夏天气-晨露天气一周天气 查看宁夏天气 宁夏是什么意思？
反旋海蛳螺是什么意思？
白日梦杂良社 新闻资讯 | 25.19M 查看是什么意思？
白灵菇产业竞争现状及投资建议.docx是什么意思？
南昌天气预报30天是什么意思？