《数学证明》求取 ⇩

证明的由来1

1.1 证明的作用是什么2

1.2 数学证明的由来4

1.3 古代希腊的数学证明5

1.4 证明方法不限于数学7

1.5 东方古代社会的数学证明9

证明的功用14

2.1 直观可靠吗15

2.2 证明可靠吗24

2.3 证明是完全客观的吗28

2.4 证明与信念34

2.5 证明与理解40

证明与理解(一)46

3.1 一个数学认知能力的实验46

3.2 二次方程的解的公式51

3.3 希腊《原本》里的勾股定理53

3.4 刘徽的一题多证55

3.5 高斯的一题多证60

证明与理解(二)66

4.1 欧拉的七桥问题66

4.2 欧拉的多面体公式74

4.3 几个重要的不等式82

证明与理解(三)90

5.1 一条关于正多边形的几何定理91

5.2 薄饼与三明治93

5.3 微积分基本定理96

5.4 舞伴的问题100

5.5 几个著名的反例101

证明与理解(四)111

6.1 四色问题111

6.2 费尔玛最后定理116

6.3 一致收敛的函数序列119

7.1 两个古老的反证法证明123

反证法123

7.2 间接证明与反证法125

7.3 逆否命题126

7.4 史坦纳—李密士定理128

7.5 反证法在数学以外的运用130

存在性证明132

8.1 两个头发根数相同的人132

8.2 一条古老的存在性定理135

8.3 数学乎?神学乎136

8.4 高斯类数猜想的征服138

8.5 存在性证明的功用141

8.6 极值问题的解的存在性144

8.7 有理数与无理数147

8.8 代数数与超越数148

9.1 十五方块的玩意153

不可能性证明153

9.2 一个很古老的不可能性证明156

9.3 古代三大难题158

9.4 不可能证明的证明162

9.5 希尔伯特的问题167

一次亲身经历:最长周长的内接多边形173

10.1 一个熟悉的问题173

10.2 初步的试验结果175

10.3 旁敲侧击176

10.4 艰苦战斗178

10.5 拨开云雾见青天182

10.6 各归其位184

10.7 余音未了188

后记191

外国人名索引192

1990《数学证明》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由萧文强著 1990 南京:江苏教育出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

简明数学史(1998 PDF版)
简明数学史
1998 郑州:大象出版社
数理逻辑与机器证明( PDF版)
数理逻辑与机器证明
证明与反驳  数学发现的逻辑(1987 PDF版)
证明与反驳 数学发现的逻辑
1987
简明数学史(1993.08 PDF版)
简明数学史
1993.08 重庆:西南师范大学出版社
明日数学(1987 PDF版)
明日数学
1987 华中工学院出版社
线性代数六百证明题详解(1985 PDF版)
线性代数六百证明题详解
1985 北京:北京科学技术出版社
证明与反驳  数学发现的逻辑(1987 PDF版)
证明与反驳 数学发现的逻辑
1987 上海:上海译文出版社
数学科学与辩证法(1995 PDF版)
数学科学与辩证法
1995 北京:首都师范大学出版社
数理逻辑与机器证明(1983 PDF版)
数理逻辑与机器证明
1983 北京:科学出版社
高等数学证明300例分析(1989 PDF版)
高等数学证明300例分析
1989 北京:北京航空航天大学出版社
素数定理的初等证明(1988 PDF版)
素数定理的初等证明
1988 上海:上海科学技术出版社
归纳·猜想·证明  漫话数学归纳法(1982 PDF版)
归纳·猜想·证明 漫话数学归纳法
1982 广州:广东科技出版社
数学简明史(1992 PDF版)
数学简明史
1992 北京:学苑出版社
数学思想方法入门  怎样理解证明和作出证明(1988 PDF版)
数学思想方法入门 怎样理解证明和作出证明
1988 北京:科学出版社
简明数学史(1989 PDF版)
简明数学史
1989 开封:河南教育出版社