相关考题
-
单项选择题
我们把反射、旋转、平移，或者它们的相继实施统称为（）
A.平移变换
B.对称变换
C.保距变换
D.类比 -
单项选择题
形式的公理化方法：即从一批公理、定义出发，通过逻辑推理，得到一系列结论的方法。这种形式的公理化方法在逻辑上的要求，就是满足（）。
A.相容性、独立性和完全性
B.精确性，一致性和完全性
C.同步性，严格性和独立性
D.精确性，独立性和完全性 -
单项选择题
吴文俊几何定理的机械化证明的创新在于它没有走国际通用的（）方法的老路子。
A.几何
B.推理
C.逻辑
D.归纳
