查询结果
自动演绎
zì dòng yǎn yì
ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
「自动演绎」是什么意思？
更新 2026-07-11 11:12:15
- 拼音字母zi dong yan yi
- 首字母zdyy
- 注音符号ㄗ ㄉㄨㄥ ㄧㄢ ㄧ
扩展释义
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
拆字组词
相关词语
- 中华海兔螺查含义
- 于天龙查含义
- 先天性髋脱位查含义
- 先锋必素查含义
- 倒回查含义
- 减速运动查含义
- 叶插查含义
- 变竹查含义
- 启蒙镇查含义
- 吴广宁查含义
- 在世查含义
- 回旋曲式查含义
- 宿海涛查含义
- 小菊儿胡同查含义
- 广宇发展查含义
- 彭雁查含义
- 我们的方程式查含义
- 战心查含义
- 无粮的土地查含义
- 文风查含义
- 明细分类账查含义
- 有才无命查含义
- 李文英查含义
- 江桥蒙古族镇查含义
- 渐尖毛蕨查含义
- 王喆查含义
- 短信一月追查含义
- 磨木浆查含义
- 罪该万死查含义
- 美达股份查含义
- 藏沙蒿查含义
- 诬赖查含义
- 费因多诺查含义
- 这儿的空间查含义
- 追爱总动员查含义
- 郑坑乡查含义
- 闵慧查含义
- 霹雳列缺查含义
- 骨折畸形愈合查含义
- 黎圣喜查含义
- 黄田镇查含义
- 黄胸木蜂查含义
- 东城区档案馆查含义
- 东仪瞳查含义
- 非洲工业化日查含义
- 奇宝乐园查含义
- 山楂奶皮卷查含义
- 苗永鹏查含义
- 寄张祜查含义
- 彩叶杞柳查含义