1970年代，有一位中国数学家从研究中国古算受到启发，并结合现代计算机技术进行思考，发展了世界领先的“数学定理机器证明”方法。这位数学家是（）

从数学的诞生起，自然数、加减乘除四则运算等，都是模拟现实世界数量关系的抽象模型。一部数学史，也是数学模型发展的历史。正式提出“数学模型”这个名词的大致时间是（）。

A.17世纪中期
B.21世纪初
C.古埃及时代
D.20世纪下半叶

点击查看答案&解析

幼儿数学教育既包括幼儿学习（）的研究，也包括实际教学内容的指导。 点击查看答案