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