相关考题
-
单项选择题
形式的公理化方法：即从一批公理、定义出发，通过逻辑推理，得到一系列结论的方法。这种形式的公理化方法在逻辑上的要求，就是满足（）。
A.相容性、独立性和完全性
B.精确性，一致性和完全性
C.同步性，严格性和独立性
D.精确性，独立性和完全性 -
单项选择题
吴文俊几何定理的机械化证明的创新在于它没有走国际通用的（）方法的老路子。
A.几何
B.推理
C.逻辑
D.归纳 -
单项选择题
统计与数学的主要区别：（）
A.数学可以有误差
B.统计要求精确
C.数学研究从数据出发
D.统计可以有误差
