單項選擇題20世紀50年代中期,世界上最早的啟發(fā)式程序“邏輯理論家”,用他證明了數(shù)學名著()中的38個定理。

A.《數(shù)學原理》
B.《數(shù)論導引》
C.《九章算術(shù)》
D.《周髀算經(jīng)》


您可能感興趣的試卷