A.塔斯基定理
B.哥德爾不完全性定理
C.希爾伯特定理
D.圖靈機
您可能感興趣的試卷
你可能感興趣的試題
A.最優(yōu)
B.誤差
C.反饋
D.控制
A.數(shù)據(jù)收集
B.統(tǒng)計推斷
C.樣本分析
D.數(shù)據(jù)描述
A.數(shù)論
B.拓?fù)鋵W(xué)
C.相對論
D.函數(shù)論
A.代數(shù)方程
B.抽象集合
C.代數(shù)結(jié)構(gòu)
D.代數(shù)數(shù)
A.幾何基礎(chǔ)
B.量子力學(xué)
C.微分方程
D.積分方程
最新試題
近代數(shù)學(xué)的開端是解析幾何的誕生，被稱為“解析幾何之父”的是（）
發(fā)明“零”的數(shù)學(xué)家是（）
概率論學(xué)科的發(fā)展過程中重要著作有（）
將微積分學(xué)基本概念進行嚴(yán)密論述，成為嚴(yán)格微積分學(xué)的奠基者的是（）
阿拉伯的數(shù)學(xué)成就主要體現(xiàn)在什么領(lǐng)域？（）
談?wù)剬εｎD和萊布尼茨創(chuàng)立微積分優(yōu)先權(quán)的理解；并論述兩位創(chuàng)立微積分的相同點及不同點。
用圓錐曲線解三次方程的阿拉伯?dāng)?shù)學(xué)家是（）
中國數(shù)學(xué)的三個繁榮時期是（）
簡述隋唐中國數(shù)學(xué)的兩件大事。
我國著名數(shù)學(xué)家（）等人利用代數(shù)方法設(shè)計了一整套的機械化程序，在1980年前后實現(xiàn)了初等幾何和微分幾何中的一些主要定理的機器證明，國際上稱他的方法為“吳方法”，使得中國學(xué)者在數(shù)學(xué)機械化領(lǐng)域處于領(lǐng)先地位，為計算數(shù)學(xué)和計算機技術(shù)的發(fā)展開辟了廣闊的前景。