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. 归纳