A.Cartan
B.Calderon
C.L.Hormander
D.Shing-Tung Yau
A.意大利数学家塔塔利亚
B.德国数学家雷格蒙塔努斯
C.意大利数学家费拉里
D.法国数学家韦达
A.吴文俊
B.苏步青
C.陈景润
D.华罗庚
A.抽象性、工具性和广泛的应用性
B.趣味性、严谨性和广泛的应用性
C.抽象性、严谨性和枯燥性
D.抽象性、严谨性和广泛的应用性
A.可判定性,即算法在有限步内判定命题的真伪
B.完备性,即所有能够从该形式化系统推导出来的命题,都可以从这个形式化系统推导出来
C.一致性,即一个命题不可能同时为真或为假
D.复杂性,即算法性能与输入数据大小相关
A.祖冲之
B.张衡
C.秦九韶
D.刘徽