形式化思想（填空）.PPT

二、形式化是现代数学的特征（2）——几类形式化问题 数量中数量及其关系的形式化——如分数的形式化，根式的形式化，复数的形式化，参数方程； 概念定义的形式化——如正弦的定义，函数的定义； 命题及其证明的形式化——如勾股定理，韦达定理。 命题系统的形式化——如三角函数恒等变形公式； 理论的形式化——如欧式几何。 三、形式化思想的应用（1） 数学抽象，就是抽象为形式。数学教育必须注重形式化过程的教学 实物→算式——“形式化”过程 算式→实物——“解释”过程 形式化的优越性体现在变形灵活 二、形式化是现代数学的特征（2）——几类形式化问题 数量中数量及其关系的形式化——如分数的形式化，根式的形式化，复数的形式化，参数方程； 概念定义的形式化——如正弦的定义，函数的定义； 命题及其证明的形式化——如勾股定理，韦达定理。 命题系统的形式化——如三角函数恒等变形公式； 理论的形式化——如欧式几何。 三、形式化思想的应用（1） 数学抽象，就是抽象为形式。数学教育必须注重形式化过程的教学 实物→算式——“形式化”过程 算式→实物——“解释”过程 形式化的优越性体现在变形灵活 第四节、形式化思想 一、形式化思想 二、形式化是现代数学的特征 三、形式化思想的应用 二、形式化是现代数学的特征（2）——几类形式化问题 数量中数量及其关系的形式化——如分数的形式化，根式的形式化，复数的形式化，参