数学思想方法通论PDF电子书下载

第1章 引语：认识数学思想方法 1

1.1 数学方法论概述 1

1.2 数学思想方法 4

1.2.1 数学思想与数学方法 4

1.2.2 数学思想方法与数学教育 6

第2章 化归：数学家的求解模式 13

2.1 化归的基本思想 13

2.1.1 化归的思想实质 13

2.1.2 化归的普遍意义 15

2.1.3 化归与联想 17

2.2 化归策略（一） 20

2.2.1 映射法 20

2.2.2 构造法 29

2.2.3 一般化与特殊化 45

2.2.4 等价化与强化 59

2.3 化归策略（二） 64

2.3.1 重组法 64

2.3.2 分治法 74

2.3.3 逆变法 81

2.3.4 递进（退）法 88

第3章 抽象：数学物的创造法则 102

3.1 数学的抽象性 102

3.1.1 抽象性——数学的本质特点 102

3.1.2 数学抽象的特殊性 104

3.1.3 数学抽象的客观基础 108

3.2 数学抽象的方法 119

3.2.1 对数学抽象方法的辩证认识 119

3.2.2 数学抽象的基本形式 121

3.2.3 数学抽象的基本原则 127

3.3 数学抽象定义赏析 131

3.3.1 函数与运算 132

3.3.2 数的抽象构造 135

3.3.3 动力系统 139

3.3.4 图灵机 141

第4章 公理化：数学理论的“建筑师” 146

4.1 数学公理化的思想 146

4.1.1 数学公理化方法的历史演进过程 146

4.1.2 数学公理化方法的作用和影响 152

4.2 数学公理化方法的基本问题 157

4.2.1 实质公理化方法与形式公理化方法 157

4.2.2 数学公理化方法的逻辑特征 159

4.3 几个重要的公理体系 165

4.3.1 欧几里得几何公理体系 165

4.3.2 希尔伯特几何公理体系 167

4.3.3 实数公理体系 170

4.3.4 ZF集合论公理系统 171

4.4 形式系统简说 173

4.4.1 形式语言 174

4.4.2 形式语言的语义 175

4.4.3 形式语言的推理系统 176

4.4.4 证明与定理 177

4.4.5 推演 177

第5章 合情推理：数学猜想的逻辑引擎 179

5.1 合情推理的界定 179

5.1.1 合情推理的内涵 179

5.1.2 合情推理与演绎推理的关系 185

5.2 归纳推理与类比推理例说 188

5.2.1 归纳推理 189

5.2.2 类比推理 199

5.2.3 归纳推理与类比推理的关系 212

5.3 合情推理模式 217

5.3.1 合情推理基本模式 217

5.3.2 合情推理模式的修正与扩充 219

5.3.3 两个例子 221

第6章 算法：数学发展的机械化之路 225

6.1 算法的基本思想 225

6.1.1 算法的概念 225

6.1.2 数学发展史上的算法思想 229

6.2 算法设计的一般方法 235

6.2.1 穷举法 236

6.2.2 回溯法 237

6.2.3 贪心法 242

6.2.4 递归法 245

6.2.5 递推法 251

6.3 算法理论的发展 254

6.3.1 可计算性理论 254

6.3.2 算法复杂性理论 256

第7章 展望：从数学思想方法走向数学观念 262

7.1 数学观念的内涵 262

7.2 作为教育任务的数学观念 265

参考文献 278