单项选择题
20世纪50年代中期，世界上最早的启发式程序“逻辑理论家”，用他证明了数学名著（）中的38个定理。
A.《数学原理》
B.《数论导引》
C.《九章算术》
D.《周髀算经》
点击查看答案&解析
单项选择题
A.《数学原理》
B.《数论导引》
C.《九章算术》
D.《周髀算经》
微信扫一扫,加关注免费搜题