本書(shū)共5章，分別為圖論模型、概率統(tǒng)計(jì)模型、動(dòng)態(tài)模型、優(yōu)化模型、竟賽攻略。其中，4類模型可以應(yīng)對(duì)大多數(shù)建模問(wèn)題，競(jìng)賽攻略則介紹了競(jìng)賽的基本情況，并以同濟(jì)大學(xué)數(shù)學(xué)建模競(jìng)賽一等獎(jiǎng)?wù)撐臑槔�進(jìn)行點(diǎn)評(píng)分析，希望給有志參賽的同學(xué)提供一定的幫助。

本書(shū)旨在引導(dǎo)學(xué)生掌握數(shù)學(xué)實(shí)踐與建模，以培養(yǎng)學(xué)生數(shù)學(xué)能力（實(shí)踐能力、創(chuàng)新能力等），同時(shí)也旨在將數(shù)學(xué)工具軟件與數(shù)學(xué)深度融合。本書(shū)是在華北水利水電大學(xué)數(shù)學(xué)實(shí)踐與建模講義的基礎(chǔ)上修改而成，內(nèi)容包括MATLAB簡(jiǎn)介及其應(yīng)用、數(shù)學(xué)建模與論文寫(xiě)作、數(shù)學(xué)實(shí)踐案例、幾類常見(jiàn)的數(shù)學(xué)建模方法、智能算法。在內(nèi)容編排上，本書(shū)精選來(lái)自工程、經(jīng)濟(jì)、

本書(shū)通過(guò)實(shí)例介紹了在科學(xué)研究和數(shù)學(xué)建模競(jìng)賽中常用的數(shù)學(xué)建模方法，包括主成分回歸、嶺回歸、偏最小工乘回歸、向量自回歸、logistic回歸、Probit回歸、響應(yīng)面回歸、線性與非線性規(guī)劃、多目標(biāo)規(guī)劃與目標(biāo)規(guī)劃、動(dòng)態(tài)規(guī)劃、智能優(yōu)化算法、網(wǎng)絡(luò)優(yōu)化、計(jì)算機(jī)仿真、排隊(duì)論、微分與差分、數(shù)據(jù)預(yù)處理、支持向量機(jī)等方法.全書(shū)將數(shù)學(xué)建模技

本書(shū)作者Yu.I.Manin是前蘇聯(lián)杰出的數(shù)學(xué)家，從事數(shù)論與代數(shù)幾何研究工作。第1版書(shū)名為ACourseinMathematicalLogic，第2版書(shū)名與上一版略有不同，書(shū)中第4章和第6章很有特色，第9章和第10章為新增內(nèi)容，作者是B.Zilber。本書(shū)是一部不可多得的數(shù)理邏輯教材，可作為高校數(shù)學(xué)專業(yè)研究生教材，及相

本書(shū)共十五篇，內(nèi)容包括：組合投資方案的決策辦法、最優(yōu)鋼管訂購(gòu)和運(yùn)輸計(jì)劃的制定、公交車調(diào)度方案的優(yōu)化模型、彩票方案的合理性分析、露天礦生產(chǎn)車輛安排方案的優(yōu)化模型等。

面向后件集的模糊推理機(jī)制是在模糊集合相互關(guān)聯(lián)的環(huán)境下進(jìn)行的，可以捕獲到規(guī)則中更多的模糊信息，克服了傳統(tǒng)模糊推理會(huì)丟失前件集與后件集相關(guān)性信息的缺陷，推理結(jié)果更加合理。本書(shū)詳細(xì)介紹了面向后件集的模糊推理機(jī)制及其應(yīng)用，包括在Type-1模糊邏輯系統(tǒng)、區(qū)間型Type-2模糊邏輯系統(tǒng)和一般型Type-2模糊邏輯系統(tǒng)中的應(yīng)用，以

本系列叢書(shū)以美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽（MCM/ICM）賽題為主要研究對(duì)象，結(jié)合競(jìng)賽特等獎(jiǎng)的優(yōu)秀論文，對(duì)相關(guān)的問(wèn)題進(jìn)行解析與研究。本輯針對(duì)2015年MCM/ICM競(jìng)賽的4個(gè)題目：埃博拉病毒的擴(kuò)散、失蹤飛機(jī)的搜索、人力資源的管理和可持續(xù)發(fā)展等問(wèn)題進(jìn)行了解析與研究。本書(shū)由資深建模教師編寫(xiě)，結(jié)合當(dāng)年獲獎(jiǎng)的優(yōu)秀論文，介紹和分析了若

本書(shū)是與“愛(ài)課程”網(wǎng)上廈門(mén)大學(xué)譚忠教授主講的“數(shù)學(xué)建模MOOC”配套使用的教材，分基礎(chǔ)篇和提高篇兩冊(cè)�；�礎(chǔ)篇從數(shù)學(xué)產(chǎn)生的源頭問(wèn)題出發(fā)引出數(shù)學(xué)建模的問(wèn)題與方法，同時(shí)配備相當(dāng)數(shù)量的應(yīng)用案例，主要內(nèi)容包括數(shù)學(xué)建模與數(shù)學(xué)思想、初等數(shù)據(jù)處理方法、初等分析方法、初等代數(shù)與幾何方法、差分方程方法、常微分方程方法、偏微分方程方法、變分

本書(shū)從一階邏輯的語(yǔ)法和語(yǔ)義開(kāi)始，介紹了緊致性定理、LwenheimSkolem定理、Tarski準(zhǔn)則、量詞消去、飽和模型、齊次模型、Omega-穩(wěn)定理論、不可區(qū)分序列以及Morley定理等內(nèi)容。

本書(shū)是邏輯與形而上學(xué)教科書(shū)系列中的一本。遞歸論是數(shù)理邏輯的主要分支之一。本書(shū)介紹了遞歸論的基礎(chǔ)知識(shí)，以及某些有影響的問(wèn)題與經(jīng)典構(gòu)造。本書(shū)共分5章。*章介紹了圖靈機(jī)、遞歸、遞歸可枚舉等概念以及相關(guān)的定理。第二章列舉了一些重要的不可判定問(wèn)題，其中包括希爾伯特第十問(wèn)題（丟番圖整數(shù)解判定問(wèn)題）的否定性結(jié)果（即馬季亞謝維奇定理）