吴文俊几何定理的机械化证明的创新在于它没有走国际通用的()方法的老路子。
查看答案
鲁班发明木工所用的锯子是受路边的茅草的启发,原因是茅草的边缘上长着许多锋利的齿。鲁班采用的就是()的方法。
A. 类比
B. 归纳
C. 演绎
D. 证明
华罗庚的()也称0.618法。
A. 优选法
B. 二分法
C. 证明
D. 猜想
四色定理是美国依利诺大学的哈肯和阿佩尔于1976年6月用()成功获得证明。
A. 推理法
B. 反证法
C. 计算机
D. 归纳法
对称是数学中十分重要的一个观点,对称观点的理论表述就是()。
A. 图形
B. 群
C. 运动
D. 以上都不对