《羅里波文集:模型論與計(jì)算復(fù)雜度》主要內(nèi)容包括:、關(guān)于代數(shù)系統(tǒng)自同構(gòu)群的一個問題、模型的并、積與齊次模型、自由群內(nèi)方程的討論、可換群中無限生成元直和項(xiàng)消去條件的探討、計(jì)算機(jī)科學(xué)發(fā)展漫談、多個一元關(guān)系上的Vaught猜想、無原子布氏代數(shù)理論的計(jì)算復(fù)雜性、利用計(jì)算機(jī)計(jì)算古典數(shù)論問題等。
本書共9章,由兩個部分組成,第一部分:以“補(bǔ)”為主的高中數(shù)學(xué)部分,包括預(yù)備知識和函數(shù)及其圖形;第二部分:以“預(yù)”為主的大學(xué)數(shù)學(xué)部分,包括極限與連續(xù),一元函數(shù)微積分,微分方程,無窮級數(shù)。本書本著加強(qiáng)基礎(chǔ)、培養(yǎng)能力的原則,圍繞基礎(chǔ)知識、基本方法組織了內(nèi)容,力爭為民族預(yù)科學(xué)生進(jìn)入下一階段的學(xué)習(xí)打好堅(jiān)實(shí)的基礎(chǔ)。
集合論的主要概念(基數(shù)、序數(shù)、超限歸納)對于所有數(shù)學(xué)家都是最基礎(chǔ)的,并非僅限于研究數(shù)理邏輯或集合論拓?fù)涞膶<摇Mǔ7治、代?shù)或拓?fù)鋵W(xué)的課程只會給出基礎(chǔ)集合論的一個概貌,然而事實(shí)上它足夠重要、有趣和簡單,值得慢慢地學(xué)習(xí)品味!都险摶A(chǔ)》使得讀者能夠以悠閑品味的方式學(xué)習(xí)集合論的內(nèi)容,它適用于廣大范圍的各類讀者,從本科生直
《數(shù)理邏輯/中國高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)(應(yīng)用型)規(guī)劃教材》共分7章。第0章緒論,介紹元數(shù)學(xué)的形成與發(fā)展,以及元數(shù)學(xué)與數(shù)理邏輯之間的關(guān)系,同時簡要說明課程學(xué)習(xí)的目的和意義;第1章介紹集合論的基礎(chǔ)知識,包括有窮集與無窮集的概念、可數(shù)集與不可數(shù)集的性質(zhì)、集合的基數(shù)、無窮基數(shù)的比較等方面的內(nèi)容;第2章介紹可計(jì)算性理論的基
《數(shù)學(xué)基礎(chǔ)研究》是后期維特根斯坦有關(guān)數(shù)學(xué)哲學(xué)的研究結(jié)晶。其主要內(nèi)容是根據(jù)其后期新的哲學(xué)理解對當(dāng)時流行的數(shù)學(xué)基礎(chǔ)研究中的形式主義思潮、邏輯主義思潮、直覺主義思潮進(jìn)行分析和批評。本書譯者是北京大學(xué)哲學(xué)系教授、著名的維特根斯坦專家韓林合先生!稊(shù)學(xué)基礎(chǔ)研究》是譯者參考維特根斯坦的手稿,重新編輯而成,并以譯者的多年的研究為基礎(chǔ)
《現(xiàn)代數(shù)學(xué)基礎(chǔ)/軍隊(duì)“2110工程”三期建設(shè)項(xiàng)目資助教材》分為10章。第1章介紹集合、關(guān)系與映射,是全書的基礎(chǔ)。第2章介紹代數(shù)系,主要是群、環(huán)和域。第3章介紹實(shí)分析基礎(chǔ),主要是實(shí)數(shù)集的完備性和與之等價的五種說法,以及實(shí)數(shù)集上的開集的構(gòu)造。第4章介紹度量空間。第5章介紹拓?fù)淇臻g。第6章介紹測度與積分。第7章介紹Lp空間。
《泛悖論與科學(xué)理論創(chuàng)新機(jī)制研究》比較系統(tǒng)全面的梳理了國內(nèi)外關(guān)于悖論研究的成果,深入探究了泛悖論在科學(xué)理論創(chuàng)新中的重要作用,初步確立了科學(xué)理論創(chuàng)新體制的悖論模式,也對悖論研究的方法論價值作了一定的有啟發(fā)性的研究,具有一定學(xué)術(shù)價值和理論價值。
《Mathematica基礎(chǔ)及其在數(shù)學(xué)建模中的應(yīng)用》是作者結(jié)合多年的Mathematica與數(shù)學(xué)建模課程教學(xué)實(shí)踐編寫的,其內(nèi)容包括Mathematica軟件介紹、Mathematica應(yīng)用基礎(chǔ)、Mathematica在高等數(shù)學(xué)中的應(yīng)用、Mathematic8在線性代數(shù)中的應(yīng)用、Mathematica在概率統(tǒng)計(jì)中的應(yīng)用、
《美國MCM/ICM競賽指導(dǎo)叢書:美國大學(xué)生數(shù)學(xué)建模競賽題解析與研究(第2輯)》是以美國大學(xué)生數(shù)學(xué)建模競賽(MCM/ICM)賽題為主要研究對象,結(jié)合競賽特等獎的優(yōu)秀論文,對相關(guān)的問題做深刻細(xì)致的解析與研究。《美國MCM/ICM競賽指導(dǎo)叢書:美國大學(xué)生數(shù)學(xué)建模競賽題解析與研究(第2輯)》針對2005年及2006年MCM/
《普通高等院!笆濉币(guī)劃教材:數(shù)學(xué)建模算法與應(yīng)用習(xí)題解答》給出了《數(shù)學(xué)建模算法與應(yīng)用》中全部習(xí)題的解答及程序設(shè)計(jì),另外針對選修課的教學(xué)內(nèi)容,又給出一些補(bǔ)充習(xí)題及解答!镀胀ǜ叩仍盒!笆濉币(guī)劃教材:數(shù)學(xué)建模算法與應(yīng)用習(xí)題解答》的程序來自于教學(xué)實(shí)踐,有許多經(jīng)驗(yàn)心得體現(xiàn)在編程的技巧中。這些技巧不僅實(shí)用,也很有特色。書