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