词语繁体：自動演繹
词语读音：zì dòng yǎn yì
首字拼音：Zi
词语拼音：zi dong yan yi
词语简拼：ZDYY
词语结构：ABCD式词语
词语字数：四字词语
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
【自的意思】：自 zì（ㄗˋ） （一）、本人，己身：自己。自家。自身。自白。自满。自诩。自馁。自重（ zhòng 详情>
【动的意思】：动（動） dòng（ㄉㄨㄥˋ） （一）、改变原来位置或脱离静止状态，与“静”相对：变动。 详情>
【演的意思】：演 yǎn（一ㄢˇ） （一）、根据事理推广发挥：推演。讲演（亦作“演讲”）。演义（以史书及传说的材料 详情>
【绎的意思】：绎（繹） yì（一ˋ） （一）、抽出，理出头绪：寻绎。演绎（由一般原理推出关于个别事物、现象的结论的 详情>
友情链接：姓名测试