自动演绎

概述

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

2百科释义

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

9词语组词

相关词条

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