专业研究

电子版pdf 吴文俊全集《数学机械化卷 I》.pdf THE COMPLETE WORKS OF WU WEN-TSUN MATHEMATICS MECHANIZATION I

★★★★★★★★★★★★★★★★
本站购买电子书等资源使用支付宝,无需注册直接付费后((弹出错误页面服务器忙,请稍等再试))不要关闭页面待页面电脑PC自动刷新(手机端需从支付宝页面按手机浏览器左上角返回键回到本页面,再自行手动刷新网页,推荐电脑访问)显示下载链接!不推荐edge等太高级的浏览器下载链接会阻拦,推荐迅雷、IDM等工具!请立刻及时下载(另存为)以免下次访问失效!如果有问题请在页面底部留言反馈(留下你的邮箱,仅限邮件交流,或在文章中更新交代回复)!部分带OCR版本的pdf书可以复制文字或搜索内容。下载失败了怎么办:点击这里
★★★★★★★★★★★★★★★★
对本站的直接交易方式不放心?你可以花1元购买美女短视频体验交易流程:点击这里,或者花2元预览资源截图或电子书内页:点击这里
PDF扫描版和图文版的区别,以及其他Word、mobi、txt、epub、azw3等各种电子版格式的选择:点击这里

本文链接:
https://www.lifu.me/book-00064-03.html

文件大小:059.24 MB 吴文俊全集-数学机械化卷 I=THE COMPLETE WORKS OF WU WEN-TSUN MATHEMATICS MECHANIZATION I

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 23元 才能查看此处内容!立即支付

吴文俊全集(数学机械化卷Ⅰ)(精)
作者:吴文俊出版社:龙门书局出版时间:2019年05月

https://img3m1.ddimg.cn/24/18/11106921201-1_u_1.jpg

开 本:16开
纸 张:胶版纸
包 装:平装-胶订
是否套装:否
国际标准书号ISBN:9787508855509
所属分类:
图书>自然科学>力学

内容简介
本卷收录了吴文俊的Mathematics Mechanization: MechanicalGeometry Theorem-Proving,Mechanical Geometry Problem-Solving andPolynomial Equations-Solving一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。
全书分成三个部分: 部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础,本书还论述了构造性代数几何中的若干问题。 第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。

spacer

吴文俊全集《数学机械化卷 Ⅱ》.pdf

本文链接:
https://www.lifu.me/book-00064-04.html

文件大小:109.73 MB 吴文俊全集-数学机械化卷 Ⅱ

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 23元 才能查看此处内容!立即支付

吴文俊全集(数学机械化卷Ⅱ)(精)
作者:吴文俊出版社:龙门书局出版时间:2019年05月

https://img3m4.ddimg.cn/52/11/11023833994-1_u_1.jpg

开 本:16开
纸 张:胶版纸
包 装:平装-胶订
是否套装:否
国际标准书号ISBN:9787508855516
所属分类:
图书>自然科学>数学>应用数学

内容简介
本卷收录了吴文俊的Mechanical Theorem Proving in Geometries:Basic Principles 一书。 书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。 因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。

spacer

吴文俊全集《数学机械化卷 Ⅳ-几何定理机器证明的基本原理》.pdf

本文链接:
https://www.lifu.me/book-00064-06.html

文件大小:075.22 MB 吴文俊全集-数学机械化卷 Ⅳ

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 23元 才能查看此处内容!立即支付

吴文俊全集·数学机械化卷IV
吴文俊
作者:吴文俊出版社:龙门书局出版时间:2019年05月

https://img3m9.ddimg.cn/40/2/27882499-1_u_4.jpg

开 本:16开
纸 张:胶版纸
包 装:精装
是否套装:否
国际标准书号ISBN:9787508855530
丛书名:国家出版基金项目吴文俊全集
所属分类:
图书>自然科学>数学>数学理论

编辑推荐

数学理论,文集

内容简介

本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。《吴文俊全集·数学机械化卷IV》论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化。因此在理论上,这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。
《吴文俊全集·数学机械化卷IV》共分六章。前两章是关于几何机械化的预备知识,集中介绍了常用几何;后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理,第4,5章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理,第6章阐述各种几何的机械化定理。
目  录

目录
第1章 Desargues几何与Desargues数系 1
1.1 常用几何的Hilbert公理系统 1

spacer

吴文俊全集《附卷-回忆与纪念》.pdf

本文链接:
https://www.lifu.me/book-00064-02.html

文件大小:193.62 MB 吴文俊全集-附卷-回忆与纪念

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 23元 才能查看此处内容!立即支付

吴文俊全集·附卷-回忆与纪念
作者:李邦河,高小山,李文林出版社:龙门书局出版时间:2019年05月

https://img3m6.ddimg.cn/11/11/11035794836-1_u_1.jpg

开 本:16开
纸 张:胶版纸
包 装:精装
是否套装:否
国际标准书号ISBN:9787508855486
丛书名:国家出版基金项目
所属分类:
图书>自然科学>数学>数学理论

内容介绍

本书内容包括吴文俊的生平、成就与获得的奖励的介绍, 陈省身、杨振宁、丘成桐、Jean-Pierre Bourguignon等78位吴文俊生前同事、学生以及家属的回忆、纪念与缅怀的文章, 以及22篇关于吴文俊的新闻报道. 这些文章全面介绍了吴文俊先生在拓扑学、数学机械化、中国古代数学史等方向取得的成就, 吴文俊先生的学术思想与治学态度,以及他的学术影响.

spacer

吴文俊全集《数学机械化卷 Ⅲ》.pdf

本文链接:
https://www.lifu.me/book-00064-05.html

文件大小:039.54 MB 吴文俊全集-数学机械化卷 Ⅲ

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 27元 才能查看此处内容!立即支付

吴文俊全集·数学机械化卷III 科学出版社 9787508855523
作者:吴文俊出版社:科学出版社

https://img3m6.ddimg.cn/43/31/11035879216-1_u_1.jpg

开 本:16开
纸 张:胶版纸
包 装:平装
是否套装:否
国际标准书号ISBN:9787508855523
所属分类:
图书>考试>公务员考试>国家公务员考试

内容介绍

本卷收录了吴文俊的《数学机械化》一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。
全书分成三个部分:**部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础,本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。

spacer

吴文俊全集《博弈论、代数几何、图的平面嵌入卷》.pdf

本文链接:
https://www.lifu.me/book-00064-01.html

文件大小:042.25 MB 吴文俊全集-博弈论、代数几何、图的平面嵌入卷

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 15元 才能查看此处内容!立即支付

吴文俊全集·博弈论、代数几何、图的平面嵌入卷
吴文俊
作者:吴文俊出版社:龙门书局出版时间:2021年06月

https://img3m7.ddimg.cn/38/0/27882497-1_u_3.jpg

开 本:16开
纸 张:胶版纸
包 装:精装
是否套装:否
国际标准书号ISBN:9787508855608
丛书名:国家出版基金项目吴文俊全集
所属分类:
图书>自然科学>数学>数学理论

内容简介

本书收录吴文俊发表的博弈论、代数几何和图的平面嵌入等三个方面的论文.其中,《关于博弈理论基本定理的一个注记》是中国博弈论研究的开山之作.《活动受限制下的非协作对策》等两篇论文则包含了吴文俊对博弈论重要的贡献──本质均衡概念的提出及其存在性证明.

spacer

吴文俊主编《王者之路-机器证明及其应用》.pdf

本文链接:
https://www.lifu.me/book-00063.html

文件大小:012.00 MB 王者之路-机器证明及其应用

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 5元 才能查看此处内容!立即支付

王者之路 机器证明及其应用 吴文俊主编 湖南科学技术出版社
作者:吴文俊主编出版社:湖南科学技术出版社出版时间:1999年01月

https://img3m1.ddimg.cn/42/5/1845064131-1_u_1.jpg

开 本:16开
纸 张:胶版纸
包 装:平装-胶订
是否套装:否
国际标准书号ISBN:9787535728586
所属分类:
图书>老书/收藏

 

spacer

《图论算法理论、实现及应用(第2版)》.pdf

本文链接:
https://www.lifu.me/book-00062.html

文件大小:139.86 MB 图论算法理论、实现及应用

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 15元 才能查看此处内容!立即支付

图论算法理论、实现及应用(第2版)
以ACM/ICPC竞赛题目为例阐述图论算法的程序实现;收录了162道例题和练习题;精心制作了238个教学视频,约1800分钟;配套电子课件。
作者:王桂平,杨建喜,李韧出版社:北京大学出版社出版时间:2022年01月

https://img3m4.ddimg.cn/7/29/29350834-1_u_6.jpg

开 本:16开
纸 张:胶版纸
包 装:平装
是否套装:否
国际标准书号ISBN:9787301323854
丛书名:高等院校电气信息类专业”互联网+”创新规划教材
所属分类:
图书>教材>研究生/本科/专科教材>理学

目  录
章 图的基本概念及图的存储 1
1.1 基本概念 1
1.1.1 有向图与无向图 1
1.1.2 完全图、稀疏图、稠密图 2
1.1.3 顶点与顶点、顶点与边的关系 3
1.1.4 顶点的度数及度序列 3
1.1.5 二部图与完全二部图 6
1.1.6 图的同构 7
1.1.7 子图与生成树 8

spacer

《数学走进现代化学与生物》.pdf 姜伯驹 钱敏平 龚光鲁著,七彩数学丛书

本文链接:
https://www.lifu.me/book-00061.html

文件大小:007.16 MB 数学走进现代化学与生物

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 3元 才能查看此处内容!立即支付

数学走进现代化学与生物
姜伯驹 钱敏平 龚光鲁著,七彩数学丛书
作者:姜伯驹 钱敏平 龚光鲁出版社:科学出版社出版时间:2021年12月

https://img3m7.ddimg.cn/94/4/29134507-1_u_8.jpg

开 本:128开
纸 张:胶版纸
包 装:平装胶订
是否套装:否
国际标准书号ISBN:9787030178930
丛书名:当代七彩数学
所属分类:
图书>科普读物>科学世界>数学

编辑推荐
《数学走进现代化学与生物》共分两个部分 拓扑学中的手性和数学走进生物大分子序列。部分是一次演讲的纲要。手性就是左右不对称性,是自然界的常见现象,在化学中日益重要。本文介绍了作者和王诗歲教授合作的一个科研课题的来龙去脉。

spacer

数学原理【罗素】.pdf

本文链接:
https://www.lifu.me/book-00060.html

文件大小:000.97 MB 数学原理【罗素】

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 2元 才能查看此处内容!立即支付

序言
艾兰·乌德先生的书《热烈的怀疑主义者》受到广泛和应有的赞扬,他本打算撰文对我的哲学做一番更专门的考查。可是在他去世的时候,他的文章只完成了一小部分。这一部分中有一个导言。看过这一篇导言的人认为很有价值,所以值得发表,因此就印在本书的末尾。
假如当初能早一点得到他这篇文章,本会把它放在本书的前面的。但是这篇文章到手太晚了,遂致这样做就没有可能。我奉劝读者先看他这篇文章,因为他这文章把很多容易使人误会之处讲得极为明白。乌德先生未能活到他完成这部著作,这使人极感惋惜。

spacer