《幾何定理機器證明的基本原理(初等幾何部分)》論述初等幾何機器證明的基本原理，證明瞭奠基於各種公理係統的各種初等幾何，隻需相當於乘法交換律的某一公理成立，大都可以機械化，因此在理論上，這些幾何的定理證明可以藉助於計算機來實施.可以機械化的幾何包括瞭多種有序或無序的常用幾何、投影幾何、非歐幾何與圓幾何等。
全書共分六章，前兩章是關於幾何機械化的預備知識，集中介紹瞭常用幾何；後四章緻力於幾何的機械化問題.第3章為幾何定理證明的機械化與Hilben機械化定理，第4，5章分彆為（常用）無序幾何的機械化定理和（常用）有序幾何的機械化定理，第6章闡述各種幾何的機械化定理。
《幾何定理機器證明的基本原理(初等幾何部分)》可供數學工作者和計算機科學工作者以及高等院校有關專業的師生參考。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
翻瞭一下，感覺太理論瞭，太難瞭。對代碼實現沒太大幫助。
评分翻瞭一下，感覺太理論瞭，太難瞭。對代碼實現沒太大幫助。
评分翻瞭一下，感覺太理論瞭，太難瞭。對代碼實現沒太大幫助。
评分翻瞭一下，感覺太理論瞭，太難瞭。對代碼實現沒太大幫助。
评分翻瞭一下，感覺太理論瞭，太難瞭。對代碼實現沒太大幫助。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有