单项选择题

A.吴文俊B.苏步青C.陈景润D.华罗庚1970年代，有一位中国数学家从研究中国古算受到启发，并结合现代计算机……

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

A.吴文俊
B.苏步青
C.陈景润
D.华罗庚

<上一题目录下一题>

热门试题

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

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

填空题幼儿数学教育既包括幼儿学习（）的研究，也包括实际教学内容的指导。