填空題我國的著名數(shù)學(xué)家（）在機器證明數(shù)學(xué)問題上進行了卓有成效的工作。
您可能感興趣的試卷
最新試題
數(shù)學(xué)符號系統(tǒng)引入數(shù)學(xué)，并將其稱為“符號代數(shù)之父”的是（）
題型：單項選擇題
抽象代數(shù)這一數(shù)學(xué)分支的奠基者是（）
題型：單項選擇題
從歷史發(fā)展的角度看，概率論的發(fā)生和發(fā)展過程大致分為哪些階段？
題型：問答題
簡述隋唐中國數(shù)學(xué)的兩件大事。
題型：問答題
（）的問世標(biāo)志了解析幾何的誕生，進而標(biāo)志了近代數(shù)學(xué)開始。
題型：單項選擇題
我國著名數(shù)學(xué)家（）等人利用代數(shù)方法設(shè)計了一整套的機械化程序，在1980年前后實現(xiàn)了初等幾何和微分幾何中的一些主要定理的機器證明，國際上稱他的方法為“吳方法”，使得中國學(xué)者在數(shù)學(xué)機械化領(lǐng)域處于領(lǐng)先地位，為計算數(shù)學(xué)和計算機技術(shù)的發(fā)展開辟了廣闊的前景。
題型：單項選擇題
解析幾何的建立者是（）
題型：單項選擇題
高次方程的數(shù)值解法是宋元數(shù)學(xué)的突出成就之一。
題型：判斷題
確立了數(shù)學(xué)演繹范式的著作是（）
題型：單項選擇題
談?wù)剬εｎD和萊布尼茨創(chuàng)立微積分優(yōu)先權(quán)的理解；并論述兩位創(chuàng)立微積分的相同點及不同點。
題型：問答題