总序
前言
第一章 从数学教育到教育数学
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)
展开
