★★★★★★★★★★★★★★★★
本站购无需注册点击“立即支付”自助支付宝二维码扫描付费后,等待10s页面自动刷新(手机端需先按返回键回到本页面,再自行手动刷新网页)显示下载链接!不推荐edge等太高级的浏览器下载链接会阻拦,推荐迅雷、IDM等工具!如果有问题请在页面底部留言留邮箱反馈!部分带OCR版本的pdf书可以复制文字或搜索内容。下载帮助:点击这里
★★★★★★★★★★★★★★★★
对本站的直接交易方式不放心?你可以花1元购买美女短视频体验交易流程:点击这里,或者花2元预览资源截图或电子书内页:点击这里
PDF扫描版和图文版的区别,以及其他Word、mobi、txt、epub、azw3等各种电子版格式的选择:点击这里
★★★★★★★★★★★★★★★★
本站电子书采用zip或rar压缩包文件,设置统一解压密码,请这里获取密码(另付50元):点击这里
建议一次性批量采购购买10本电子书以充分利用解压密码!!!
文件大小:075.22 MB 吴文俊全集-数学机械化卷 Ⅳ
下载地址:
吴文俊全集·数学机械化卷IV
吴文俊
作者:吴文俊出版社:龙门书局出版时间:2019年05月
开 本:16开
纸 张:胶版纸
包 装:精装
是否套装:否
国际标准书号ISBN:9787508855530
丛书名:国家出版基金项目吴文俊全集
所属分类:
图书>自然科学>数学>数学理论
编辑推荐
数学理论,文集
内容简介
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。《吴文俊全集·数学机械化卷IV》论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化。因此在理论上,这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。
《吴文俊全集·数学机械化卷IV》共分六章。前两章是关于几何机械化的预备知识,集中介绍了常用几何;后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理,第4,5章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理,第6章阐述各种几何的机械化定理。
目 录
目录
第1章 Desargues几何与Desargues数系 1
1.1 常用几何的Hilbert公理系统 1 Continue reading “吴文俊全集《数学机械化卷 Ⅳ-几何定理机器证明的基本原理》(电子书pdf电子版格式)”