本書以通俗易懂的語言向讀者描述了各類常用算法。全書包括四個部分，涉及排序與搜索、算術(shù)與密碼、規(guī)劃、協(xié)同與設(shè)計、優(yōu)化四個領(lǐng)域，每個部分都給出該領(lǐng)域中常用的算法，每一個算法都從一個實際的生活場景引入。通過作者深入淺出的介紹，讀者可以輕松了解計算機科學(xué)中常用的算法的原理，具備初步的計算思維能力。本書適合作為高校計算機科學(xué)入門
"本書對數(shù)理邏輯的基礎(chǔ)知識進行了系統(tǒng)介紹。全書共8章，其中，第1章介紹了數(shù)理邏輯的基本思想以及后面各章所用到的預(yù)備數(shù)學(xué)知識，第2~6章分別介紹了命題邏輯和謂詞邏輯，構(gòu)造了它們的形式系統(tǒng)，并討論了它們的系統(tǒng)性質(zhì)，進而引入了包含數(shù)學(xué)理論的形式系統(tǒng)，前6章是本書核心內(nèi)容；后2章介紹了哥德爾的不完全性定理、算法可計算性，這部分
證明是數(shù)學(xué)思想中最重要，也是極具開拓性的特征之一。沒有證明，就無法談?wù)撜嬲臄?shù)學(xué)。本書講述了證明的演變及其在數(shù)學(xué)中的重要作用和啟發(fā)意義。從古希臘幾何學(xué)時代開始，涵蓋代數(shù)、微積分、集合、數(shù)論、拓撲、邏輯等幾乎全部數(shù)學(xué)分支中的證明故事。我們將看到歐幾里德、康托爾、哥德爾、圖靈等數(shù)學(xué)大師的精彩發(fā)現(xiàn)和發(fā)明。這本書不是教材，它是
本書將數(shù)學(xué)建模和數(shù)學(xué)實驗課程有機融合，以數(shù)學(xué)軟件為操作平臺，以解決數(shù)學(xué)問題為主要線索，為培養(yǎng)大學(xué)生數(shù)學(xué)建模能力打下基礎(chǔ)，為提高大學(xué)生計算機應(yīng)用水平創(chuàng)造條件。全書共7章，分別為數(shù)學(xué)建模入門、簡單優(yōu)化模型、數(shù)學(xué)規(guī)劃模型、常微分方程模型、插值與擬合、圖論模型、概率統(tǒng)計模型。各章包括基本內(nèi)容和典型案例分析，通過案例教學(xué)開拓學(xué)生
宇宙的廣袤不斷激發(fā)人類的好奇心，令人浮想聯(lián)翩。為了更好地認識無窮大和宇宙自誕生以來的演變歷程，我們必須轉(zhuǎn)向另一個無窮，即無窮小，以粒子物理學(xué)標準模型為基礎(chǔ)，研究其中的夸克、輕子和玻色子，力爭在最小尺度上破解物質(zhì)的結(jié)構(gòu)之謎。沒有無窮小，我們就不能對宇宙大爆炸、大型恒星的結(jié)構(gòu)和演化及物質(zhì)的誕生展開描述。沒有兩個無窮，我們將
本書對計算機科學(xué)方面的數(shù)理邏輯進行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、通過模型檢測進行驗證、程序驗證、模態(tài)邏輯與代理、二叉判定圖這些內(nèi)容。本書主要討論有關(guān)軟硬件規(guī)范和驗證這一主題的內(nèi)容，反映了計算機科學(xué)中數(shù)理邏輯的新發(fā)展和實際需要。第2版新增了可滿足性算法、Lowenheim-Skolem定理，并介紹了Alloy語言和
本書第一章為歸納法簡述，是對這個主題的簡要介紹，在幾何論的背景下描述了歸納法，并提出幾個相關(guān)示例，說明如何由它導(dǎo)出非負整數(shù)的不同性質(zhì)；第二章的題目為加和、乘積與相等，主要適用于想要熟悉歸納法應(yīng)用的基礎(chǔ)知識的讀者，所提出的問題的性質(zhì)與最初促使歸納法作為代數(shù)工具使用的問題相似；從第三章開始，通過討論數(shù)學(xué)各個領(lǐng)域的歸納法，跟
本書結(jié)合案例，系統(tǒng)介紹了使用MATLAB進行數(shù)學(xué)建模的相關(guān)知識和方法論。 本書分為11章，主要包括走進數(shù)學(xué)建模的世界、函數(shù)極值與規(guī)劃模型、微分方程與差分模型、數(shù)據(jù)處理的基本策略、權(quán)重生成與評價模型、復(fù)雜網(wǎng)絡(luò)與圖論模型、時間序列與投資模型、機器學(xué)習(xí)與統(tǒng)計模型、進化計算與群體智能、其他數(shù)學(xué)建模知識、數(shù)學(xué)建模競賽中的一些基本
數(shù)學(xué)建模系列比賽是一項考察學(xué)生使用數(shù)學(xué)工具解決實際問題的比賽，其中含金量最高的比賽為全國研究生數(shù)學(xué)建模競賽、全國大學(xué)生數(shù)學(xué)建模競賽，獲得的獎勵對推免、評獎學(xué)金等都有較大的貢獻。本書是作者學(xué)生時期參加數(shù)學(xué)建模競賽的獲獎?wù)撐呐c任教職之后指導(dǎo)學(xué)生參加數(shù)學(xué)建模競賽的獲獎?wù)撐闹�，精選完成得最為理想的六篇加工而成。為了展現(xiàn)最真實
本書主要從數(shù)學(xué)規(guī)劃的視角出發(fā)，系統(tǒng)地介紹了數(shù)學(xué)優(yōu)化問題建模和求解的相關(guān)理論、方法、實際案例，以及基于Python和數(shù)學(xué)規(guī)劃求解器（COPT和Gurobi）的編程實戰(zhàn)。全書共分為四部分。第一部分為基本理論和建模方法，重點介紹了數(shù)學(xué)規(guī)劃模型分類和建模方法（包括邏輯約束與大M建模方法、線性化方法）以及計算復(fù)雜性理論。第二部分
書單推薦
