·数学机械化 一把要求解或者求证的某一类问题当成一个整体来考虑，建立一种统 一的确定的程序，只要按照该程序按部就班的执行，经历有限步骤 后即可求得数学问题的解或者判断数学命题是否为真
• 数学机械化 – 把要求解或者求证的某一类问题当成一个整体来考虑，建立一种统 一的确定的程序，只要按照该程序按部就班的执行，经历有限步骤 后即可求得数学问题的解或者判断数学命题是否为真
数学机械化的意义 ·脑力劳动的机械化 一提高计算效率，用计算机代替人的劳动，完成人类很难完成的计算 量 ·解一元高次方程、因式分解 ·四色定理的证明
数学机械化的意义 • 脑力劳动的机械化 – 提高计算效率，用计算机代替人的劳动，完成人类很难完成的计算 量 • 解一元高次方程、因式分解 • 四色定理的证明