2.

统计定义三种说法虽然不同，但有共性，那就是统计是关于

（ ）的科学。

A. 数量 B. 关系 C. 论证 D.

数据

3.

正三角形与正方形谁更对称（ ）？

A. 正方形 B. 正三角形 C. 相同 D.

三角形

4.

可以把“平面图形的对称” ——轴对称、 n次中心对称、平移

对称中用到的运动分为三类：即（ ）。

A. 平移，对称，速度 B. 大小，方向，速度 C. 方向，旋转，平移 D. 反射，旋转，平移 5.

数学问题的机械化，就要求在运算或证明过程中，每前进一步

之后，都有一个确定的、必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论。使用一种机械化方法证明一

类定理，才真正体现了机械化定理证明。（ ）给出了初等几何一类主要定理的机械化证明方法。

A. 希尔伯特 B. 吴文俊 C. 莱布尼茨 D. 朱世杰 6.

华罗庚把插值问题的解决方法，所用的基本思想称为（ ），

即：先作B，C不发生作用，而A取单位量的构件；再作C，A不发生作用，B取单位量的构件；再作A、B不发生作用，C取单位量的构件。然后用这些构件凑出所求的结构。

A. 单因子构件凑成法 B.

化归法

C. 数学归纳法 D.

类比法

7.

形式的公理化方法：即从一批公理、定义出发，通过逻辑推理，

得到一系列结论的方法。这种形式的公理化方法在逻辑上的要求，就是满足（ ）。

A. 相容性、独立性和完全性 B. 精确性，一致性和完全性 C. 同步性，严格性和独立性

D. 精确性，独立性和完全性 8.

统计与数学的主要区别：（ ）

A. 数学可以有误差 B. 统计要求精确

C. 数学研究从数据出发 D. 统计可以有误差 9.

类比：是根据两个（或两类）对象之间在某些方面的相似或相

同，从而推出它们在其它方面也可能相似或相同的一种推理方法，也是一种观点。类比的推理是一种“合情推理”，不是（ ）。

A. 相同 B. 证明 C. 科学 D.

判断

10.

吴文俊几何定理的机械化证明的创新在于它没有走国际通用

的（ ）方法的老路子。

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