自动演绎

「自动演绎」是什么意思？

更新 2026-07-15 20:37:39

• 拼音字母zi dong yan yi
• 首字母zdyy
• 注音符号ㄗ ㄉㄨㄥ ㄧㄢ ㄧ

扩展释义

定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。

拆字组词

相关词语

• 中国水环境查含义
• 入微查含义
• 内蒙古饭店查含义
• 刘树江查含义
• 南京汽车查含义
• 卢群查含义
• 史凤军查含义
• 堕落传奇查含义
• 奥胡斯查含义
• 宝华乡查含义
• 巢蕨查含义
• 应华查含义
• 幽冥鬼火查含义
• 年增率查含义
• 强枝弱本查含义
• 拜票查含义
• 李香云查含义
• 李蓓蕾查含义
• 杨名团查含义
• 油条西舌查含义
• 沙漠扩侵查含义
• 灯泡式水轮机查含义
• 王彦查含义
• 电焊工尘肺查含义
• 睾丸雄激素查含义
• 粗糠柴查含义
• 竹节纱查含义
• 经济风险查含义
• 结幕查含义
• 能量金字塔查含义
• 褐缘弧翅卷蛾查含义
• 通信总站查含义
• 郭雪莉查含义
• 郭卫星查含义
• 鄂西鼠李查含义
• 钻营查含义
• 随意查含义
• 高斯定理查含义
• 黄花扁蕾查含义
• 大京城堡查含义
• 阿柏怪查含义
• 公主预备生查含义
• 巴达木查含义
• 成仔鱼查含义
• 马蛇子查含义
• 清血丸查含义
• 紫菀汤查含义
• 达哌拉唑查含义
• 送僧往万杉查含义
• 王成新查含义