找考题网-背景图
单项选择题

20世纪50年代中期,世界上最早的启发式程序“逻辑理论家”,用他证明了数学名著()中的38个定理。

A.《数学原理》
B.《数论导引》
C.《九章算术》
D.《周髀算经》

热门试题