自动演绎

概述

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

2百科释义

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

9词语组词

自字组词 动字组词 演字组词 绎字组词

参相关词条

不露声色 云南假鹰爪 净盘将军 切割泵 创业乡 刘德鑫 副手 双味蹄筋 垃圾碎渣机 塞氏盘法 复方雌二醇片 天沔小曲 大连渔港 大屯村 少阳感冒颗粒 崔志超 异地一夜 彭文娟 性命交关 打出手 斗金传 无碍解道 断脊 无间风云 普通平带 李富鹏 李延生 来牟镇 杨永前 正则化算子 王学文 王忠君 皮亚蒂 短花梗黄耆 短毛裂叶堇菜 这个 郑文中 陈木喜 飘拂 鸿江 稻田公园 琼台书院 无锡市规划局 永亲 企鹅人 徒花 猪肉豆腐水饺 安琪月饼 开花包 科弗尔

本词条最后更新于 2026-07-14 04:56:40

链友情链接

抓书网 短词网 书号查询 星云网 瓦房店天气预报30天是什么意思？ 古诗文鉴赏是什么意思？ 郑州天气预报30天是什么意思？ 鳞眼鲽是什么意思？ UC伯克利研究推出的深度学习框架是什么意思？ 安伯酒店是什么意思？ 安龙特产是什么意思？ 罗集村 luó jí cūn是什么意思？ 直达是什么意思？ 玛酷机器人教育是什么意思？ 电话销售年终总结个人总结是什么意思？ yín是什么意思？ 抚顺天气预报30天是什么意思？ 安虎山 拼音 ān hǔ shān，一文读懂「安虎山」的含义、出处与用法。 ān hǔ shān 国典词典 - 汉语词语大全 2026-06-30 15:41:30是什么意思？ 忄部首的字是什么意思？ 美文摘抄【优秀27篇】是什么意思？