普通高等教育“十一五”规划教材·21世纪大学教学创新教材：数学思想方法通论

　　目录前言 iii第1章 引语:认识数学思想方法 0011.1 数学方法论概述 0011.2 数学思想方法 0041.2.1 数学思想与数学方法 0041.2.2 数学思想方法与数学教育 006第2章 化归:数学家的求解模式 0132.1 化归的基本思想 0132.1.1 化归的思想实质 0132.1.2 化归的普遍意义 0152.1.3 化归与联想 0172.2 化归策略(一) 0202.2.1 映射法 0202.2.2 构造法 0292.2.3 一般化与特殊化 0452.2.4 等价化与强化 0592.3 化归策略(二) 0642.3.1 重组法 0642.3.2 分治法 0742.3.3 逆变法 0812.3.4 递进(退)法 088第3章 抽象:数学物的创造法则 1023.1 数学的抽象性 1023.1.1 抽象性——数学的本质特点 1023.1.2 数学抽象的特殊性 1043.1.3 数学抽象的客观基础 1083.2 数学抽象的方法 1193.2.1 对数学抽象方法的辩证认识 1193.2.2 数学抽象的基本形式 1213.2.3 数学抽象的基本原则 1273.3 数学抽象定义赏析 1313.3.1 函数与运算 1323.3.2 数的抽象构造 1353.3.3 动力系统 1393.3.4 图灵机 141第4章 公理化:数学理论的“建筑师” 1464.1 数学公理化的思想 1464.1.1 数学公理化方法的历史演进过程 1464.1.2 数学公理化方法的作用和影响 1524.2 数学公理化方法的基本问题 1574.2.1 实质公理化方法与形式公理化方法 1574.2.2 数学公理化方法的逻辑特征 1594.3 几个重要的公理体系 1654.3.1 欧几里得几何公理体系 1654.3.2 希尔伯特几何公理体系 1674.3.3 实数公理体系 1704.3.4 ZF集合论公理系统 1714.4 形式系统简说 1734.4.1 形式语言 1744.4.2 形式语言的语义 1754.4.3 形式语言的推理系统 1764.4.4 证明与定理 1774.4.5 推演 177第5章 合情推理:数学猜想的逻辑引擎 1795.1 合情推理的界定 1795.1.1 合情推理的内涵 1795.1.2 合情推理与演绎推理的关系 1855.2 归纳推理与类比推理例说 1885.2.1 归纳推理 1895.2.2 类比推理 1995.2.3 归纳推理与类比推理的关系 2125.3 合情推理模式 2175.3.1 合情推理基本模式 2175.3.2 合情推理模式的修正与扩充 2195.3.3 两个例子 221第6章 算法:数学发展的机械化之路 2256.1 算法的基本思想 2256.1.1 算法的概念 2256.1.2 数学发展史上的算法思想 2296.2 算法设计的一般方法 2356.2.1 穷举法 2366.2.2 回溯法 2376.2.3 贪心法 2426.2.4 递归法 2456.2.5 递推法 2516.3 算法理论的发展 2546.3.1 可计算性理论 2546.3.2 算法复杂性理论 256第7章 展望:从数学思想方法走向数学观念 2627.1 数学观念的内涵 2627.2 作为教育任务的数学观念 265参考文献 278

　　数学教育的根本目的在于提升数学素养.《数学思想方法通论》紧紧抓住数学学科的特点，通过提炼和挖掘，对隐藏在数学知识之中基本、具广泛性和包摄性的数学思想方法进行了多角度、深层次的介绍，力求能体现数学的精神与态度、观点与文化.所选取的主要内容包括化归、抽象、公理化、含情推理、算法等.《数学思想方法通论》在编写思想上，一方面注重教学内容的系统性，以适应教师课堂讲授，另一方面也尽可能提供详尽、丰富的材料，以备学生自学或课堂讨论.