《论初等几何定理的机器证明与消去法》 - 朱望规著 - 国防工业出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2023年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

『簡體書』论初等几何定理的机器证明与消去法

書城自編碼： 2870668
分類：簡體書→大陸圖書→自然科學→數學
作者：朱望规著
國際書號(ISBN)： 9787118105155
出版社：国防工业出版社
出版日期： 2016-06-01

書度/開本： 16开

售價：HK$ 132.0

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《希腊文明3000年（古希腊的科学精神，成就了现代科学之源）》
售價：HK$ 82.8

《粤行丛录（岭南史料笔记丛刊）》
售價：HK$ 80.2

《岁月待人归：徐悲鸿自述人生艺术》
售價：HK$ 59.8

《女人的中国医疗史：汉唐之间的健康照顾与性别》
售價：HK$ 103.8

《资治通鉴熊逸版：第四辑》
售價：HK$ 458.9

《中国近现代名家精品——项维仁：工笔侍女作品精选》
售價：HK$ 66.1

《宋瑞驻村日记（2012-2022）》
售價：HK$ 112.7

《汗青堂丛书138·帝国的切口：近代中国口岸的冲突与交流（1832-1914）》
售價：HK$ 124.2

內容簡介：

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

第1章几何定理的机器证明
1.1 欧几里得几何、笛卡儿几何、公理系统概述
1.2 Hilbert公理系统的理解
1.3 关于三角形的内切圆与旁切圆
1.4 Feuerbach定理不同证明
第2章 Morley定理及其机器证明
2.1 Morley定理
2.2 Morley定理证明（用三角）
2.3 Morley定理有多少三角形？
2.4 消去法证明Morley定理
2.5 线性情况下消去法的应用分27个不同情况，用高斯消去法（Gauss）可以证明Morley定理
2.6 一个实例
2.7 27个三角形的统一处理
第3章 Simson定理
3.1 关于Simson线
3.2 关于△ABC外接圆上任意点D与△ABC的垂心H连线的定理
3.3 关于特殊点的Simson线定理
3.4 多条Simson线的定理
3.5 △ABC外接圆的同心圆上一点到△ABC三边垂足形成的三角形面积问题
参考文献
后记

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　大陸用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.