当前位置:首页 > TAG信息列表 > 公理化方法
公理化方法
-
几何三部曲 第1卷 几何的公理化方法 英文版
(比)F.博斯克斯著2016 年出版403 页ISBN:7519220737本书以几何公理化方法的历史发展成果为基础,系统给出了欧几里得几何、非欧几里得几何和投影几何研究的现代方法。公理化几何是形式化数学的起源,其中有很多著名问题有待解决。对这些著名问题的研究往往会导致...
本书以几何公理化方法的历史发展成果为基础,系统给出了欧几里得几何、非欧几里得几何和投影几何研究的现代方法。公理化几何是形式化数学的起源,其中有很多著名问题有待解决。对这些著名问题的研究往往会导致...