你知道數(shù)字是怎樣產(chǎn)生的嗎？你知道大名鼎鼎的π是如何誕生的嗎？你知道擅長幾何的皇帝是誰嗎？……你知道貌似枯燥的數(shù)學(xué)背后藏著許許多多有趣的故事嗎？《趣說數(shù)學(xué)——探索未知的奠基者》從孩子們的理解能力出發(fā)，介紹了一些數(shù)學(xué)概念的起源與發(fā)展，中外數(shù)學(xué)家的軼事、趣聞，流傳久遠的數(shù)學(xué)民間傳說，還有風靡世界的數(shù)學(xué)難題等。本書適合小學(xué)高年

本書內(nèi)容包括行列式的計算方法、矩陣、線性方程組、向量空間、相似矩陣與矩陣的對角化以及二次型。全書涵蓋了最新的全國碩士研究生人學(xué)考試大綱中有關(guān)線性代數(shù)部分的相關(guān)內(nèi)容及相應(yīng)的歷年全國碩士研究生入學(xué)考試試題，每章后均配有檢測題，并在書后附有答案與提示。

《實變函數(shù)論講義》根據(jù)作者多年在中山大學(xué)主講實變函數(shù)論的講稿整理而成，主要關(guān)于測度論和積分理論，內(nèi)容有集合與基數(shù)、測度、可測函數(shù)、積分、L2空間等.每一章都附有較多例題，介紹實變函數(shù)解題的典型方法與重要技巧.《實變函數(shù)論講義》的習(xí)題都有解答或者提示，方便學(xué)生學(xué)習(xí).《實變函數(shù)論講義》一個重要特點是結(jié)合測度論的發(fā)展歷史，對

本書是根據(jù)教育部頒發(fā)的“工科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求”編寫的。全書內(nèi)容包括：行列式、矩陣、線性方程組與向量組的線性相關(guān)性、相似矩陣與二次型、線性空間與線性變換、數(shù)學(xué)軟件Matlab簡介與上機實驗，書末附有常用“線性代數(shù)”英文專業(yè)詞匯及部分習(xí)題參考答案與提示。本書可作為高等工科院校工學(xué)、經(jīng)濟學(xué)、管理學(xué)各專業(yè)教材或教

本卷是在前兩卷的基礎(chǔ)上對集合論保證無窮集合存在的無窮公理的層次分析.這種分析既包含組合分析,也包含邏輯分析;既包含內(nèi)模型分析，也包含外模型分析；歸根結(jié)底是揭示各種高階無窮公理對整個集合論論域的影響，尤其是對實數(shù)集合的影響.因此,第三卷的第1章側(cè)重于大基數(shù)的組合分析、邏輯分析以及內(nèi)模型構(gòu)造;第2章側(cè)重于在大基數(shù)上構(gòu)造各種

《線性代數(shù)輔導(dǎo)精講》按照考研數(shù)學(xué)大綱的要求,以歷年考研數(shù)學(xué)真題中的典型題目及分析詳解為主線,內(nèi)容包含典型方法的歸類總結(jié)、重要和常用技巧的運用、考生易錯點的提示、重點題型的考研預(yù)測等.相比其他考研數(shù)學(xué)輔導(dǎo)圖書有以下特色：(1)緊扣大綱要求,精選歷年考研真題,分模塊分階段地指導(dǎo)考生科學(xué)備考;(2)精心設(shè)計本書模塊和欄目,輔

本書共五章，內(nèi)容包括行列式、矩陣、n維向量及其線性相關(guān)性、線性方程組、方陣的特征值和特征向量、相似矩陣及二次型等

本書系統(tǒng)介紹了凸優(yōu)化的理論和方法,包括凸集、凸函數(shù)、凸優(yōu)化問題、對偶問題、無約束凸優(yōu)化問題的最速下降方法和Newton方法、具有線性等式約束的凸優(yōu)化問題的Newton型方法和具有不等式約束的凸優(yōu)化問題的內(nèi)點法,還介紹了線性半定規(guī)劃的一些性質(zhì)和算法,并對目標函數(shù)具有可分結(jié)構(gòu)的一類凸優(yōu)化問題,介紹了基本的交替方向乘子方法.

本書整合一元函數(shù)微積分、常微分方程的教學(xué)內(nèi)容，適合理工科各專業(yè)的教學(xué)。重點在于教學(xué)內(nèi)容的選取與安排便于教學(xué)和學(xué)生的學(xué)習(xí)，力求做到可讀性與嚴謹性統(tǒng)一，克服教學(xué)學(xué)時不斷壓縮與課程體系形成的矛盾，提高課堂教學(xué)質(zhì)量。本書可供高等院校理工科各專業(yè)本科教學(xué)選用教材和教學(xué)參考書，也可供其他專業(yè)師生及工程技術(shù)人員閱讀和參考。

本卷是集合論的模型分析部分.在第一卷的基礎(chǔ)上,本卷的主要任務(wù)是將邏輯植入集合論之中,并以此為基礎(chǔ)實現(xiàn)三大目標:第一大目標是將同質(zhì)子模型分析引入集合論,這是一種不同于組合分析的對無窮集合展開分析的基本方法;第二大目標則是建立集合論論域的具有典范作用的內(nèi)模型——哥德爾可構(gòu)造集論域,從而證明一般連續(xù)統(tǒng)假設(shè)和選擇公理的相對相容

《集合論導(dǎo)引》共三卷，本書是第一卷，本卷是這本《導(dǎo)引》的開卷。本卷將分成三章來為后續(xù)兩卷奠定基礎(chǔ)。第一章主要是引進集合論的基本公理、基本概念、基本方法以及建立起典型的可數(shù)集合的例子，包括自然數(shù)集合、整數(shù)集合、有理數(shù)集合以及徹底有限集合的集合。第二章主要是引進選擇公理以及由此建立起來的基數(shù)運算律和一些典型組合實例。第三章

本書內(nèi)容包括：極限與連續(xù)、導(dǎo)數(shù)與微分、導(dǎo)數(shù)的應(yīng)用、一元函數(shù)積分學(xué)及多元函數(shù)微積分學(xué)。在每一模塊中均編有應(yīng)用與實踐內(nèi)容，其中包括高等數(shù)學(xué)在物理、機械、經(jīng)濟、電工電子、信息技術(shù)等方面的應(yīng)用和數(shù)學(xué)軟件MATLAB的使用。每節(jié)配有習(xí)題，并將習(xí)題答案附于書后。 本書可供高職院校工科類和經(jīng)濟管理類專業(yè)的學(xué)生作為教材或?qū)W習(xí)參考

《G-V模糊擬陣》以圖論、擬陣、模糊集為基礎(chǔ).主要介紹模糊基與模糊圈的性質(zhì)、判定和算法,模糊集的秩的性質(zhì)和算法,模糊閉集、對偶、超平面的性質(zhì)和公理系統(tǒng),模糊擬陣的結(jié)構(gòu),模糊圖擬陣等,最后介紹模糊擬陣的一種推廣——G-V直覺模糊擬陣.

《高等代數(shù)問題求解的多向思維》是作者結(jié)合多年給數(shù)學(xué)專業(yè)本科生進行高等代數(shù)考研輔導(dǎo)的有關(guān)內(nèi)容,和長期的探索積累編著而成的。《高等代數(shù)問題求解的多向思維》精選包括多項式、行列式、線性方程組、矩陣、二次型、線性空間、線性變換、λ-矩陣、歐幾里得空間等內(nèi)容的典型例題，給出多種證法或解法，反映高等代數(shù)各類知識點之間的有機聯(lián)系，注

本書架構(gòu)上分為函數(shù)極限、微分方程、多元微分學(xué)，多元函數(shù)積分、級數(shù)4個部分，章節(jié)設(shè)計由淺入深逐步遞進。在微分方程部分，包括微分方程的求解及應(yīng)用。多元微分學(xué)部分，包括多元函數(shù)的概念、求導(dǎo)方法、多元函數(shù)偏導(dǎo)數(shù)的意義。多元函數(shù)積分學(xué)部分，包括重積分、二重積分和三重積分、曲線積分和曲面積分。級數(shù)部分，包括級數(shù)內(nèi)容。教材每節(jié)后均配

本書內(nèi)容包括：常微分方程、線性代數(shù)、概率論與數(shù)理統(tǒng)計、線性規(guī)劃、數(shù)學(xué)建模概述。在每一模塊中均編有應(yīng)用與實踐內(nèi)容，其中包括高等數(shù)學(xué)在物理、機械、經(jīng)濟、電工電子、信息技術(shù)等方面的應(yīng)用和數(shù)學(xué)軟件MATLAB的使用。每節(jié)配有習(xí)題，并將習(xí)題答案附于書后。 本書可供高職院校工科類和經(jīng)濟管理類專業(yè)的學(xué)生作為教材或?qū)W習(xí)參考書使用

本書根據(jù)高等教育“線性代數(shù)”課程的教學(xué)要求，以“弱化證明、掌握概念、強化計算和應(yīng)用”為指導(dǎo)思想，體現(xiàn)普通本科院校線性代數(shù)課程的教學(xué)應(yīng)以應(yīng)用為目的。本書以矩陣貫穿全書，章節(jié)之間聯(lián)系緊密，包括行列式、矩陣、向量的線性相關(guān)性、線性方程組、特征值與特征向量、二次型等內(nèi)容。本書結(jié)構(gòu)完整、邏輯清晰、通俗易懂，有利于學(xué)生理解線性代數(shù)

為了適應(yīng)應(yīng)用型、實踐型人才目標的要求，以“弱化證明、掌握概念、強化應(yīng)用”為指導(dǎo)思想，遵循“以應(yīng)用為目的，以必須夠用為度”的原則編寫本書。本書內(nèi)容共分六章：第一至三章是數(shù)學(xué)基礎(chǔ)，重點培養(yǎng)學(xué)生的數(shù)學(xué)素養(yǎng)；第四至五章為應(yīng)用數(shù)學(xué)，體現(xiàn)數(shù)學(xué)與專業(yè)接口、為專業(yè)服務(wù)的特點，提高數(shù)學(xué)應(yīng)用能力；第六章內(nèi)容體現(xiàn)數(shù)學(xué)應(yīng)用，拓展學(xué)生思維，提高

布爾巴基學(xué)派的序、代數(shù)、拓撲三大母結(jié)構(gòu)是現(xiàn)代數(shù)學(xué)的基礎(chǔ).利用計算機證明輔助工具,可以完整構(gòu)建這三大母結(jié)構(gòu)的形式化系統(tǒng).《公理化集合論機器證明系統(tǒng)》利用交互式定理證明工具Coq,實現(xiàn)Morse-Kelley公理化集合論形式化系統(tǒng),包括對該體系中8個公理(含選擇公理)和1個公理圖示以及全部181條定義或定理的Coq描述,其

本書共分三卷,本卷為第二卷.第一卷的內(nèi)容主要有:實數(shù)基本理論;一元微積分學(xué),包括極限、連續(xù)、級數(shù)、微分、復(fù)數(shù)、積分等.在此基礎(chǔ)上,本卷主要介紹拓撲空間(特別是度量空間、歐氏空間)及映射的極限與連續(xù)的映射(包括壓縮映像原理);多變量函數(shù)微分學(xué);重積分;流形及微分形式;流形(特別是曲線與曲面)上微分形式的積分;向量分析與場