请问「自动演绎」是什么意思?
2026-07-12 15:22:47
「自动演绎」读音
拼音 zì dòng yǎn yì,注音 ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
| 拼音字母 | zi dong yan yi |
|---|---|
| 拼音首字母 | zdyy |
| 注音符号 | ㄗ ㄉㄨㄥ ㄧㄢ ㄧ |
| 注音首符号 | ㄗㄉㄧㄧ |
「自动演绎」释义
扩展释义 定义 自动演绎,是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术,又称自动定理证明和机械定理证明。
推荐
友情链接
抓书网 短词网 书号查询 星云网 continental是什么意思? 台湾金丝桃是什么意思? 天津天气预报30天是什么意思? 查看甘肃天气-苏州天气预报 查看甘肃天气 甘肃是什么意思? 2022年最新古诗词取名字是什么意思? 大班绘本阅读:鳄鱼怕怕牙医怕怕(优秀4篇)是什么意思? 学生会的万能检讨书(40篇)是什么意思? 查看海南天气-温州天气 查看海南天气 海南是什么意思? 5开头是什么意思? 202581建军节祝福语回复(汇总10句)是什么意思? 果蔬栽培知识是什么意思? 冬季水库鲤鱼是什么意思? 南京天气预报30天是什么意思? 迷你吃鸡王者游戏v1.1.1 安卓版是什么意思? 成都天气预报30天是什么意思? wén píng 文凭是什么意思?