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

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

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

本書對計算機(jī)科學(xué)方面的數(shù)理邏輯進(jìn)行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、通過模型檢測進(jìn)行驗證、程序驗證、模態(tài)邏輯與代理、二叉判定圖這些內(nèi)容。本書主要討論有關(guān)軟硬件規(guī)范和驗證這一主題的內(nèi)容，反映了計算機(jī)科學(xué)中數(shù)理邏輯的新發(fā)展和實際需要。第2版新增了可滿足性算法、Lowenheim-Skolem定理，并介紹了Alloy語言和

本書第一章為歸納法簡述，是對這個主題的簡要介紹，在幾何論的背景下描述了歸納法，并提出幾個相關(guān)示例，說明如何由它導(dǎo)出非負(fù)整數(shù)的不同性質(zhì)；第二章的題目為加和、乘積與相等，主要適用于想要熟悉歸納法應(yīng)用的基礎(chǔ)知識的讀者，所提出的問題的性質(zhì)與最初促使歸納法作為代數(shù)工具使用的問題相似；從第三章開始，通過討論數(shù)學(xué)各個領(lǐng)域的歸納法，跟

本書結(jié)合案例，系統(tǒng)介紹了使用MATLAB進(jìn)行數(shù)學(xué)建模的相關(guān)知識和方法論。 本書分為11章，主要包括走進(jìn)數(shù)學(xué)建模的世界、函數(shù)極值與規(guī)劃模型、微分方程與差分模型、數(shù)據(jù)處理的基本策略、權(quán)重生成與評價模型、復(fù)雜網(wǎng)絡(luò)與圖論模型、時間序列與投資模型、機(jī)器學(xué)習(xí)與統(tǒng)計模型、進(jìn)化計算與群體智能、其他數(shù)學(xué)建模知識、數(shù)學(xué)建模競賽中的一些基本

數(shù)學(xué)建模系列比賽是一項考察學(xué)生使用數(shù)學(xué)工具解決實際問題的比賽，其中含金量最高的比賽為全國研究生數(shù)學(xué)建模競賽、全國大學(xué)生數(shù)學(xué)建模競賽，獲得的獎勵對推免、評獎學(xué)金等都有較大的貢獻(xiàn)。本書是作者學(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ù)雜性理論。第二部分

GMAT批判性推理題以非形式邏輯作為依托，希望考生正確識別一個論證的結(jié)構(gòu)，繼而準(zhǔn)確找到當(dāng)前論證結(jié)構(gòu)的評估方式，最終選出正確答案。本書正是以批判性推理題所考查的非形式邏輯為基礎(chǔ)編寫的。全書共三章，內(nèi)容涉及批判性推理的基礎(chǔ)知識、演繹論證、假說論證、批判性推理常見四大題型，以及最后的綜合練習(xí)。本書語言簡練，幫助讀者從了解批判

"本書第一版至第五版分別出版于1987年、1993年、2003年、2011年和2018年。基于編者長期從事數(shù)學(xué)建模和數(shù)學(xué)實驗教學(xué)、數(shù)學(xué)建模競賽組織和輔導(dǎo)，始終關(guān)注國內(nèi)外數(shù)學(xué)建模教學(xué)案例收集與研究的經(jīng)驗，第六版在保持前五版基本結(jié)構(gòu)和風(fēng)格的基礎(chǔ)上，進(jìn)行增刪與修訂，新增和改編的案例生動新穎、內(nèi)涵豐富。全書紙質(zhì)內(nèi)容與數(shù)字化資源