当前位置:新励学网 > 秒知问答 > 什么是辅助证明

什么是辅助证明

发表时间:2024-07-30 15:29:52 来源:网友投稿

辅助证明法(auxiliary proving method),也称作半自动证明法,是一种证明方法

其是用机械步骤完成定理证明中部分工作的方法.通常是人制订了证明的框架,而由计算机完成某些局部的细节推演。

免责声明:本站发布的教育资讯(图片、视频和文字)以本站原创、转载和分享为主,文章观点不代表本网站立场。

如果本文侵犯了您的权益,请联系底部站长邮箱进行举报反馈,一经查实,我们将在第一时间处理,感谢您对本站的关注!