本書以通俗易懂的語(yǔ)言向讀者描述了各類常用算法。全書包括四個(gè)部分，涉及排序與搜索、算術(shù)與密碼、規(guī)劃、協(xié)同與設(shè)計(jì)、優(yōu)化四個(gè)領(lǐng)域，每個(gè)部分都給出該領(lǐng)域中常用的算法，每一個(gè)算法都從一個(gè)實(shí)際的生活場(chǎng)景引入。通過(guò)作者深入淺出的介紹，讀者可以輕松了解計(jì)算機(jī)科學(xué)中常用的算法的原理，具備初步的計(jì)算思維能力。本書適合作為高校計(jì)算機(jī)科學(xué)入門

本書包含了集合論與圖論課程需涵蓋的概念、理論、方法和應(yīng)用,主要包括兩部分:集合論與圖論。集合論部分主要包括集合及其運(yùn)算、映射及其合成、關(guān)系及其運(yùn)算、無(wú)窮集合及其基數(shù);圖論主要包括圖的一些基本概念、一些特殊的圖、樹及其性質(zhì)、割點(diǎn)和橋、連通度和匹配、平面圖和圖的著色、有向圖等。

"本書對(duì)數(shù)理邏輯的基礎(chǔ)知識(shí)進(jìn)行了系統(tǒng)介紹。全書共8章，其中，第1章介紹了數(shù)理邏輯的基本思想以及后面各章所用到的預(yù)備數(shù)學(xué)知識(shí)，第2~6章分別介紹了命題邏輯和謂詞邏輯，構(gòu)造了它們的形式系統(tǒng)，并討論了它們的系統(tǒng)性質(zhì)，進(jìn)而引入了包含數(shù)學(xué)理論的形式系統(tǒng)，前6章是本書核心內(nèi)容；后2章介紹了哥德爾的不完全性定理、算法可計(jì)算性，這部分

證明是數(shù)學(xué)思想中最重要，也是極具開拓性的特征之一。沒有證明，就無(wú)法談?wù)撜嬲�的�?shù)學(xué)。本書講述了證明的演變及其在數(shù)學(xué)中的重要作用和啟發(fā)意義。從古希臘幾何學(xué)時(shí)代開始，涵蓋代數(shù)、微積分、集合、數(shù)論、拓?fù)�、邏輯等幾乎全部�?shù)學(xué)分支中的證明故事。我們將看到歐幾里德、康托爾、哥德爾、圖靈等數(shù)學(xué)大師的精彩發(fā)現(xiàn)和發(fā)明。這本書不是教材，它是

本教材將Python軟件與數(shù)學(xué)建模和實(shí)驗(yàn)相結(jié)合，從數(shù)學(xué)建模概述、Python語(yǔ)言快速入門、數(shù)據(jù)處理與可視化、Python在高等數(shù)學(xué)中的應(yīng)用、Python在線性代數(shù)中的應(yīng)用、線性規(guī)劃、整數(shù)規(guī)劃與非線性規(guī)劃、插值與擬合、圖論模型、數(shù)據(jù)與統(tǒng)計(jì)描述、統(tǒng)計(jì)分析、智能算法等12個(gè)部分展開論述。全書理論與實(shí)踐相結(jié)合，旨在幫助學(xué)生較熟

本書將數(shù)學(xué)建模和數(shù)學(xué)實(shí)驗(yàn)課程有機(jī)融合，以數(shù)學(xué)軟件為操作平臺(tái)，以解決數(shù)學(xué)問(wèn)題為主要線索，為培養(yǎng)大學(xué)生數(shù)學(xué)建模能力打下基礎(chǔ)，為提高大學(xué)生計(jì)算機(jī)應(yīng)用水平創(chuàng)造條件。全書共7章，分別為數(shù)學(xué)建模入門、簡(jiǎn)單優(yōu)化模型、數(shù)學(xué)規(guī)劃模型、常微分方程模型、插值與擬合、圖論模型、概率統(tǒng)計(jì)模型。各章包括基本內(nèi)容和典型案例分析，通過(guò)案例教學(xué)開拓學(xué)生

宇宙的廣袤不斷激發(fā)人類的好奇心，令人浮想聯(lián)翩。為了更好地認(rèn)識(shí)無(wú)窮大和宇宙自誕生以來(lái)的演變歷程，我們必須轉(zhuǎn)向另一個(gè)無(wú)窮，即無(wú)窮小，以粒子物理學(xué)標(biāo)準(zhǔn)模型為基礎(chǔ)，研究其中的夸克、輕子和玻色子，力爭(zhēng)在最小尺度上破解物質(zhì)的結(jié)構(gòu)之謎。沒有無(wú)窮小，我們就不能對(duì)宇宙大爆炸、大型恒星的結(jié)構(gòu)和演化及物質(zhì)的誕生展開描述。沒有兩個(gè)無(wú)窮，我們將

本書旨在引導(dǎo)學(xué)生初步掌握數(shù)學(xué)建模的思想和方法，著重介紹常見的數(shù)學(xué)建模方法以及在實(shí)際問(wèn)題中的應(yīng)用，主要內(nèi)容包括：線性規(guī)劃模型、非線性規(guī)劃模型、微分方程模型、回歸模型、時(shí)間序列模型、多元統(tǒng)計(jì)分析模型、綜合評(píng)價(jià)模型、模糊理論模型、灰色系統(tǒng)模型等。本書將適當(dāng)介紹數(shù)學(xué)建模方法在各領(lǐng)域的最新應(yīng)用，并對(duì)每一類模型，都會(huì)給出相關(guān)的案例

本書在線性代數(shù)和高等數(shù)學(xué)的基礎(chǔ)上分6章介紹矩陣分析及應(yīng)用的相關(guān)內(nèi)容。第1章回顧線性代數(shù)中的矩陣基礎(chǔ)知識(shí)，并擴(kuò)展到一般的復(fù)數(shù)矩陣，為后續(xù)章節(jié)做準(zhǔn)備。第2章介紹在工程學(xué)科中常用的幾種矩陣分解，包括三角分解、滿秩分解、對(duì)角分解、酉相似分解和奇異值分解，并對(duì)這些分解在MIMO通信、線性系統(tǒng)分析和圖像處理領(lǐng)域進(jìn)行應(yīng)用。第3章為矩

本書精選了近些年中國(guó)地質(zhì)大學(xué)(武漢)在全國(guó)大學(xué)生數(shù)學(xué)建模中獲一、二等獎(jiǎng)的部分參賽論文，對(duì)里面的論文進(jìn)行了部分的修改，并附有指導(dǎo)老師的點(diǎn)評(píng)。主要內(nèi)容包括：城市表層土壤重金屬污染分析；碎紙片的拼接復(fù)原；嫦娥三號(hào)軟著陸軌道設(shè)計(jì)與控制策略等。