也谈高中数学形式化及其教学

摘要

有关数学形式化及其教学曾在20世纪90年代引发广泛讨论.伴随着中国高中数学课程标准从2003年实验版到2017年版及其2020年的重新修订,革新教学内容、改革教学方式成为时代发展的必然要求,重新认识和探讨新时代数学形式化及其教学具有十分重要的意义.基于文献研究和思辨性分析,提出数学形式化即是数学内容的抽象化与数学概念的符号化.数学形式化具有过程性、层次性及关联性等特点.与科学数学相比,学科数学重在传承、生长和理解,其形式化有所淡化.新的高中数学课程标准有关形式化内容表述的修订并非舍弃形式化的学习要求,而是力求更客观、更具体,体现适度性.改进高中数学形式化内容的教学要遵循“注重过程,渐进导入”的教学原则,运用情境化引入,降低形式化门槛;渐进性铺垫,搭建形式化平台;符号化呈现,揭示形式化内涵;巩固性训练,促进形式化理解.