您现在的位置: 首页图书展示数理科学和化学 > 论初等几何定理的机器证明与消去法
图书展示
  • 书名 论初等几何定理的机器证明与消去法
  • 书号 978-7-118-10515-5
  • 作者 朱望规
  • 出版时间 2016年03月
  • 译者
  • 版次 1版1次
  • 开本 16
  • 装帧 平装
  • 出版基金
  • 页数 257
  • 字数 382
  • 中图分类 O123
  • 丛书名
  • 定价

本书介绍了初等几何机器证明,重点是消去法。首先介绍初等几何定理,如何通过坐标化,将已知条件转化为hi公式组,再形成三角阵列的Fi公式组(三角阵列是消去法的前提)。再将定理的结论形成gj公式组。消去法是对gj逐个用Fi(Fn,Fn-1,…,F1)做消去,最后如果所有gj=0,则结论成立。本书肯定了hi公式组线性时,用高斯消去法必然成功;同时指出非线性时,有可能得不到期望的结果,也有可能得不到三角阵列的Fi公式组,从而做不了消去法。本书对有志于机器证明的读者有一定参考价值,能在不知不觉中学会做机器证明。对IT行业的从业人员,以及欲进入人工智能领域的读者无疑是一本极为合适的参考用书。

下载附件

留言列表

目前没有相应的留言信息。

 
标题:
*  
评论内容:
*  
评论人:
*  
联系方式:
*  
验证码:
*  
   
相关图书推荐
无此相关商品!

售书电话(010)88540777   传 真(010)88540776  总编室(010)88540559  E-mail to:gfgycbs@ndip.cn

地址:北京市海淀区紫竹院南路23号  京ICP备06025804号 国防工业出版社版权所有  网站建设:中企动力  北京