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