题目内容

吴文俊几何定理的机械化证明的创新在于它没有走国际通用的()方法的老路子。

A. 几何
B. 推理
C. 逻辑
D. 归纳

查看答案
更多问题

鲁班发明木工所用的锯子是受路边的茅草的启发,原因是茅草的边缘上长着许多锋利的齿。鲁班采用的就是()的方法。

A. 类比
B. 归纳
C. 演绎
D. 证明

华罗庚的()也称0.618法。

A. 优选法
B. 二分法
C. 证明
D. 猜想

四色定理是美国依利诺大学的哈肯和阿佩尔于1976年6月用()成功获得证明。

A. 推理法
B. 反证法
C. 计算机
D. 归纳法

对称是数学中十分重要的一个观点,对称观点的理论表述就是()。

A. 图形
B. 群
C. 运动
D. 以上都不对

答案查题题库