★★★★★★★★★★★★★★★★
本站购买电子书等资源使用支付宝,无需注册直接付费后((弹出错误页面服务器忙,请稍等再试))不要关闭页面待页面电脑PC自动刷新(手机端需从支付宝页面按手机浏览器左上角返回键回到本页面,再自行手动刷新网页,推荐电脑访问)显示下载链接!不推荐edge等太高级的浏览器下载链接会阻拦,推荐迅雷、IDM等工具!请立刻及时下载(另存为)以免下次访问失效!如果有问题请在页面底部留言反馈(留下你的邮箱,仅限邮件交流,或在文章中更新交代回复)!部分带OCR版本的pdf书可以复制文字或搜索内容。下载失败了怎么办:点击这里
★★★★★★★★★★★★★★★★
对本站的直接交易方式不放心?你可以花1元购买美女短视频体验交易流程:点击这里,或者花2元预览资源截图或电子书内页:点击这里
PDF扫描版和图文版的区别,以及其他Word、mobi、txt、epub、azw3等各种电子版格式的选择:点击这里
文件大小:039.54 MB 吴文俊全集-数学机械化卷 Ⅲ
下载地址:
吴文俊全集·数学机械化卷III 科学出版社 9787508855523
作者:吴文俊出版社:科学出版社
开 本:16开
纸 张:胶版纸
包 装:平装
是否套装:否
国际标准书号ISBN:9787508855523
所属分类:
图书>考试>公务员考试>国家公务员考试
内容介绍
本卷收录了吴文俊的《数学机械化》一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。
全书分成三个部分:**部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础,本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。 Continue reading