定义 自动演绎,是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术,又称自动定理证明和机械定理证明。
【自的意思】:自 zì(ㄗˋ) (一)、本人,己身:自己。自家。自身。自白。自满。自诩。自馁。自重( zhòng 详情>
【动的意思】:动(動) dòng(ㄉㄨㄥˋ) (一)、改变原来位置或脱离静止状态,与“静”相对:变动。 详情>
【演的意思】:演 yǎn(一ㄢˇ) (一)、根据事理推广发挥:推演。讲演(亦作“演讲”)。演义(以史书及传说的材料 详情>
【绎的意思】:绎(繹) yì(一ˋ) (一)、抽出,理出头绪:寻绎。演绎(由一般原理推出关于个别事物、现象的结论的 详情>