单项选择题
1970年代，有一位中国数学家从研究中国古算受到启发，并结合现代计算机技术进行思考，发展了世界领先的“数学定理机器证明”方法。这位数学家是（）
A.吴文俊B.苏步青C.陈景润D.华罗庚
单项选择题 从数学的诞生起，自然数、加减乘除四则运算等，都是模拟现实世界数量关系的抽象模型。一部数学史，也是数学模型发展的历史。正式提出“数学模型”这个名词的大致时间是（）。
填空题 幼儿数学教育既包括幼儿学习（）的研究，也包括实际教学内容的指导。
单项选择题 分类教学中首先应注意分类材料的（）。
