自动演绎

概述

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

2百科释义

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

9词语组词

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

参相关词条

以太之光 十四道沟镇 北京市国土局 厚穗狗尾草 咀嚼 大费村 富岙乡 将爱进行到底 家庭低碳计划 宁神灵胶囊 崇各庄村 徐赛 恶迹昭着 普通怯寄蝇 机杼一家 棋子 棒突继新蚤 氨溴索片 法官法 滇南山矾 热应力指标 皇岗口岸 管窥筐举 舒肝快胃丸 茄汁牛肉饼 贝克兄弟 辩口利辞 谷爆 道临九天 间接照明 陶宗旺 青海缺背蝗 鸭翼 伊敏线 勇敢智慧鸭 穿天节 碱耗 双盘吸虫 大麻油 白背乌蔹莓 古虾科 黄水蚺 早咲水羽 嗓音病 痘疖膏 光绪老画刊 押川春浪 毛将安傅 孙仁生 悦来照相馆

本词条最后更新于 2026-07-01 16:21:10

链友情链接

抓书网 短词网 书号查询 星云网 查看详情是什么意思？ 杭州天气预报30天是什么意思？ 蛇案是什么意思？ 烊化兑服是什么意思？ 野兔科技（福建）有限公司是什么意思？ 近代历史带来的启示.docx是什么意思？ 查看甘肃天气-天津一周天气预报 查看甘肃天气 甘肃是什么意思？ 梦见说英文是什么征兆是什么意思？ 南宁天气预报30天是什么意思？ 1 佳字取名忌讳是什么是什么意思？ 捏泡泡小游戏 一款在线解压小游戏是什么意思？ 梦见鱼是什么意思？ 压力换算器是什么意思？ 獬豸纹是什么意思？ 仙人掌的奥秘是什么意思？ 牛西西 niú xī xī是什么意思？