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

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

下载附件

留言列表

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

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

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

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