张景中教育数学文选

此书收录张景中院士关于“教育数学”学科的代表性文章30篇，系统展现我国“教育数学”学科的起源、发展历程，以及所取得的理论和实践成果，从而丰富中国特色数学教育理论体系，增强中国数学教育研究的理论自信，提升中国数学教育的国际话语权。全书包括7章：从数学教育到教育数学、一线串通的初等数学、几何新方法和新体系、微积分推理体系的新探索、数学机械化与几何定理机器证明、信息技术与动态几何、数学教育及其他，以及1个附录：数学美妙好玩——张景中院士访谈录。

张景中（1938—），男，中国科学院院士、教授、博导，计算机科学家、数学家和数学教育学家、四川省计算机学会理事长，“全国五一劳动奖章”获得者。曾任中国科普作家协会理事长、广州大学计算机教育软件研究所所长。开创了中国“教育数学”学科，主要著作有《走进教育数学丛书》。

总序 前言 第一章 从数学教育到教育数学 1.1 什么是“教育数学”(1989) 1.2 从数学难学谈起(1996) 1.3 把数学变容易一些(2000) 1.4 教育数学：把数学变容易(2013) 1.5 把数学变容易大有可为——科技名家笔谈(2020) 第二章 一线串通的初等数学 2.1 改变平面几何推理系统的一点想法——略谈面积公式在几何推理中的重要作用(1980) 2.2 三角园地的侧门(1983) 2.3 重建三角，全局皆活——初中数学课程结构性改革的一个建议(2006) 2.4 三角下放，全局皆活——初中数学课程结构性改革的一个方案(2007) 2.5 一线串通的初等数学(2010) 第三章 几何新方法和新体系 3.1 平面几何要重视面积关系(1993) 3.2 论向量法解几何问题的基本思路(2008) 3.3 几何代数基础新视角下的初步探讨(2010) 3.4 点几何纲要(2018) 3.5 点几何的教育价值(2019) 3.6 点几何的解题应用：计算篇(2019) 3.7 点几何的解题应用：恒等式篇(2019) 3.8 点几何的解题应用：复数恒等式篇(2019) 第四章 微积分推理体系的新探索到 4.1 微积分学的初等化(2006) 4.2 定积分的公理化定义方法(2007) 4.3 把高等数学变得更容易(2007) 4.4 不用极限怎样讲微积分(2008) 4.5 微积分基础的新视角(2009) 4.6 微积分之前可以做些什么(2019) 4.7 余弦面积正弦高(2019) 4.8 先于极限的微积分(2020) 4.9 先于极限的微积分中引入连续性(2020) 第五章 数学机械化与几何定理机器证明 5.1 定理机械化证明的数值并行法及单点例证法原理概述(1989) 5.2 消点法浅谈——兼贺《数学教师》创刊十周年(1995) 5.3 机器证明的回顾与展望(1997) 5.4 几何定理机器证明20年(1997) 5.5 自动推理与教育技术的结合(2001) 5.6 数学机械化与现代教育技术(2003) 第六章 信息技术与动态几何 6.1 从PPT到动态几何与超级画板(2007) 6.2 超级画板在高中数学教学中的应用(2008) 6.3 基于《超级画板》开设《动态几何》课程的实践与思考(2008) 6.4 教育技术研究要深入学科(2010) 第七章 数学教育及其他 7.1 从战略高度加速高级软件人才培养(2001) 7.2 我们这样编湘教版的高中数学教材(2006) 7.3 感受小学数学思想的力量——写给小学数学教师们(2007) 7.4 小学数学教学研究前瞻(2007) 7.5 为数学竞赛说几句话(2010) 7.6 从数学科普到数学教学改革(2016) 7.7 2019版普通高中数学(湘教版)教科书的主要特色(2019) 附录 数学美妙好玩——张景中院士访谈录(201 5)