《數(shù)學(xué)建模與實(shí)踐》是基于作者多年來(lái)從事數(shù)學(xué)建模教學(xué)、組織數(shù)學(xué)建模競(jìng)賽、開(kāi)設(shè)數(shù)學(xué)實(shí)驗(yàn)課程以及編寫(xiě)相關(guān)書(shū)籍的豐富經(jīng)驗(yàn)編寫(xiě)而成的。本書(shū)是作者對(duì)《數(shù)學(xué)建�！芬粫�(shū)的修訂，除保留了前三版的大部分內(nèi)容外，根據(jù)讀者的反饋進(jìn)行了補(bǔ)充與修訂，尤其在第5章增加了求解實(shí)際問(wèn)題的MATLAB程序設(shè)計(jì)。全書(shū)分為入門(mén)篇和進(jìn)階篇。入門(mén)篇內(nèi)容包括數(shù)學(xué)模

本書(shū)通過(guò)經(jīng)濟(jì)管理、社會(huì)生活、物理化學(xué)、工程技術(shù)中眾多數(shù)學(xué)模型的實(shí)例，系統(tǒng)、詳實(shí)地闡述數(shù)學(xué)建模與數(shù)學(xué)實(shí)驗(yàn)的基本理論和主要方法。分別介紹代數(shù)模型、方程模型、線性規(guī)劃模型、非線性規(guī)劃模型、概率模型、統(tǒng)計(jì)模型、蒙特卡洛模擬、圖論模型、近世算法等，注重?cái)?shù)學(xué)建模方法的介紹，重視數(shù)學(xué)模型的科學(xué)表達(dá)，并重點(diǎn)講解模型在MATLAB中的編

本書(shū)分為四個(gè)部分：第一部分介紹了基本概念和ZU的公理；第二部分討論了如何由此引出自然數(shù)、實(shí)數(shù)、線等概念；第三部分的主題是基數(shù)和序數(shù)；第四部分主要討論了選擇公理和連續(xù)統(tǒng)假設(shè)。本書(shū)不僅由淺入深地呈現(xiàn)了集合論領(lǐng)域的技術(shù)手段和證明結(jié)論，還論述了這些工作背后的哲學(xué)動(dòng)機(jī)，可以讓讀者了解那些貌似繁雜冗長(zhǎng)的技術(shù)細(xì)節(jié)背后的哲學(xué)思考。

本書(shū)分11章，內(nèi)容涉及數(shù)學(xué)建模簡(jiǎn)介、Python編程基礎(chǔ)與科學(xué)計(jì)算、常微分方程及差分方程方法、偏微分方程、插值與擬合方法、**化方法、圖論方法、排隊(duì)論、回歸分析、因子分析、時(shí)間序列預(yù)測(cè)分析方法。第3—11章每章先給出歷史沿革，然后進(jìn)行方法簡(jiǎn)介，最后結(jié)合實(shí)例講解建模方法，配合數(shù)學(xué)軟件的介紹和使用，加強(qiáng)建模求解過(guò)程的基本訓(xùn)

本書(shū)是髙等學(xué)校數(shù)學(xué)建模課程教材，共12章，包括數(shù)學(xué)建校概述、初等模型、微分方程模型、差分方程模型、概率與隨機(jī)模型、數(shù)學(xué)規(guī)劃模型、數(shù)據(jù)處理模型、問(wèn)歸分析模型、分類(lèi)模型、評(píng)價(jià)模型、預(yù)測(cè)模型、現(xiàn)代優(yōu)化算法。本書(shū)以數(shù)學(xué)建模方法為主線，以解決社會(huì)生活和生產(chǎn)符理等領(lǐng)域中的實(shí)際問(wèn)題為切入點(diǎn)，著重介紹解決問(wèn)題的數(shù)學(xué)建模思想方法和基本過(guò)

邏輯定理的機(jī)器證明是人工智能領(lǐng)域人們最早從事研究的課題。本書(shū)從邏輯定理的人工證明和機(jī)器證明兩方面來(lái)展現(xiàn)邏輯定理證明的藝術(shù)，而機(jī)器證明又從定理的自動(dòng)證明和計(jì)算機(jī)輔助證明兩個(gè)方面來(lái)展現(xiàn)。本書(shū)首先用作者構(gòu)造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機(jī)器證明工具

本書(shū)是Fred等三個(gè)美國(guó)流行病學(xué)模型專(zhuān)家、數(shù)學(xué)家合著的MathematicalModelsinEpidemiology一書(shū)的中譯本。內(nèi)容分流行病學(xué)的基本概念（包括各種類(lèi)型的倉(cāng)室模型、地方病模型、流行病模型、異質(zhì)混合模型、媒介傳播的疾病模型）,特殊疾病的模型（包括結(jié)核病模型、艾滋病病毒/艾滋病（HIV/AIDS）模型、流

本書(shū)是在2015年科學(xué)出版社出版的《數(shù)學(xué)模型及其應(yīng)用》（第二版）基礎(chǔ)上吸取了讀者和專(zhuān)家的意見(jiàn)修訂而成。本書(shū)主要內(nèi)容有緒論、初等模型、方程模型、預(yù)測(cè)模型、評(píng)價(jià)模型、優(yōu)化模型、圖論模型、概率模型、統(tǒng)計(jì)模型、高教社杯全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽真題等，每章后附相關(guān)習(xí)題，部分章后附有常用詞匯中英文對(duì)照。本書(shū)完成教學(xué)約需40～60學(xué)時(shí)

數(shù)理邏輯系統(tǒng)是形式語(yǔ)言、形式語(yǔ)義和證明的三位一體�！稊�(shù)理邏輯引論：計(jì)算機(jī)科學(xué)與系統(tǒng)的天然基礎(chǔ)》討論這類(lèi)系統(tǒng)的核心思想、重要概念、組成部分、構(gòu)建方法，以及它們與數(shù)學(xué)和計(jì)算機(jī)科學(xué)的緊密關(guān)系，解釋數(shù)理邏輯系統(tǒng)中符號(hào)化語(yǔ)言、解釋、模型等概念，研究遞歸、迭代、分解組合、模塊化、等價(jià)替換等處理結(jié)構(gòu)復(fù)雜性的方法和技術(shù)。正是這些概念、

本書(shū)內(nèi)容以初等數(shù)學(xué)為主體內(nèi)容，同時(shí)也滲透了后續(xù)高等數(shù)學(xué)中的一些思想概念，如：以整數(shù)為基礎(chǔ)敘述了中國(guó)剩余定理，以坐標(biāo)軸的旋轉(zhuǎn)和平移運(yùn)算化簡(jiǎn)平面上的二次曲線方程為例，說(shuō)明這樣的操作過(guò)程是線性代數(shù)中二次型化標(biāo)準(zhǔn)型的特例，最后一章介紹了古典概型概率的計(jì)算。整本書(shū)的內(nèi)容既包含初等數(shù)學(xué)中重要知識(shí)點(diǎn)，同時(shí)也對(duì)這些知識(shí)點(diǎn)做了適當(dāng)?shù)难a(bǔ)充

本書(shū)致力于適應(yīng)普通本科高校的數(shù)學(xué)建模教學(xué)，力求做到內(nèi)容簡(jiǎn)明扼要、淺顯易懂，讓學(xué)生既學(xué)到基本的建模方法，又有擴(kuò)展學(xué)習(xí)的空間。本書(shū)采用了目前比較流行的Python語(yǔ)言進(jìn)行數(shù)值實(shí)驗(yàn)。全書(shū)主要內(nèi)容包括插值與擬合、微分方程、圖與網(wǎng)絡(luò)優(yōu)化、線性規(guī)劃、非線性規(guī)劃、數(shù)據(jù)的統(tǒng)計(jì)描述、統(tǒng)計(jì)分析、綜合評(píng)價(jià)方法等。本書(shū)還提供所有例題的Pyth

本書(shū)首先簡(jiǎn)要介紹了數(shù)理邏輯的發(fā)展、形式系統(tǒng)及一些預(yù)備知識(shí)，然后介紹了集合論，詳細(xì)講解了命題演算、謂詞演算、可計(jì)算性理論和哥德?tīng)柌煌耆�性定理，最后介紹了模型論的基礎(chǔ)知識(shí)和方法。全書(shū)重點(diǎn)突出，論證詳細(xì)，各部分內(nèi)容配有典型的例子和習(xí)題，以便讀者更好地理解、掌握相關(guān)知識(shí)。

《數(shù)學(xué)建�；�礎(chǔ)及應(yīng)用》既是編者在西南交通大學(xué)多年教學(xué)經(jīng)驗(yàn)的總結(jié)，也是編者長(zhǎng)期組織學(xué)生參加各類(lèi)數(shù)學(xué)建模比賽的經(jīng)驗(yàn)集成�！稊�(shù)學(xué)建模基礎(chǔ)及應(yīng)用》共9章，內(nèi)容包含數(shù)學(xué)建模概述、數(shù)學(xué)規(guī)劃模型、圖論方法、數(shù)理統(tǒng)計(jì)模型、綜合評(píng)價(jià)方法、預(yù)測(cè)方法、方程模型、其他模型、現(xiàn)代優(yōu)化算法等。在編寫(xiě)過(guò)程中，力求做到以下幾點(diǎn)：，系統(tǒng)性強(qiáng)，《數(shù)學(xué)建模

《數(shù)學(xué)建模方法與實(shí)踐》內(nèi)容包括線性規(guī)劃、非線性規(guī)劃、動(dòng)態(tài)規(guī)劃、國(guó)論基礎(chǔ)、組合數(shù)學(xué)、多元統(tǒng)計(jì)分析、微分方程建模分析、數(shù)值計(jì)算等。每章為一個(gè)相對(duì)獨(dú)立的數(shù)學(xué)方法與建模實(shí)踐單元。通過(guò)學(xué)習(xí)，可以使讀者掌握基本數(shù)學(xué)方法，同時(shí)培養(yǎng)讀者對(duì)實(shí)際問(wèn)題的理解能力、從具體到抽象的分析能力、算法設(shè)計(jì)與編程能力、綜合概括與結(jié)果分析能力等。

《全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽A題優(yōu)秀論文評(píng)述》精選了陸軍軍醫(yī)大學(xué)（原第三軍醫(yī)大學(xué)）2007-2017年獲全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽獎(jiǎng)項(xiàng)的A題很好論文，從模型建立、求解方法、論文寫(xiě)作等多方面評(píng)優(yōu)點(diǎn)、論不足、述改進(jìn)，力求保持論文原味，讓讀者通過(guò)閱讀全面領(lǐng)悟論文建模方法，快速提高數(shù)學(xué)建模能力。因此，特別推薦《全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽A

《全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽B題優(yōu)秀論文評(píng)述》精選了陸軍軍醫(yī)大學(xué)（原第三軍醫(yī)大學(xué)）2009-2016年獲全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽獎(jiǎng)項(xiàng)的B題很好論文，從模型建立、求解方法、論文寫(xiě)作等多方面評(píng)優(yōu)點(diǎn)、論不足、述改進(jìn)，力求保持論文原味，讓讀者通過(guò)閱讀全面領(lǐng)悟論文建模方法，快速提高數(shù)學(xué)建模能力。因此，特別推薦給參加各類(lèi)數(shù)學(xué)建模競(jìng)賽的學(xué)

本書(shū)系統(tǒng)介紹序決策系統(tǒng)的優(yōu)勢(shì)粗糙集方法,包括屬性約簡(jiǎn)的辨識(shí)矩陣方法、啟發(fā)式方法及其加速算法和基于證據(jù)理論的方法,研究不完備序信息系統(tǒng)、區(qū)間值序決策系統(tǒng)和直覺(jué)模糊序信息系統(tǒng)的屬性約簡(jiǎn)問(wèn)題,提出序模糊決策系統(tǒng)的優(yōu)勢(shì)粗糙模糊集理論.

本書(shū)是安徽師范大學(xué)參加全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽和美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽獲獎(jiǎng)?wù)撐牡倪x編，主要是從該校2006—2018年獲全國(guó)一等獎(jiǎng)、二等獎(jiǎng)以及美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽一等獎(jiǎng)的論文中精選出的15篇優(yōu)秀論文編輯整理而成，每一篇獨(dú)立成文。每一篇精選的獲獎(jiǎng)?wù)撐亩及凑崭?jìng)賽論文的寫(xiě)作要求，包含論文的摘要、問(wèn)題的重述、問(wèn)題的分析、模型的

本書(shū)以培養(yǎng)數(shù)學(xué)建模思想、突出應(yīng)用為重點(diǎn),以技能訓(xùn)練為主線,使學(xué)生通過(guò)本課程的學(xué)習(xí),在數(shù)學(xué)建模能力的提高上有所收獲,為處理實(shí)際問(wèn)題和參加全國(guó)數(shù)學(xué)建模競(jìng)賽打好基礎(chǔ)。本書(shū)中的例題、能力訓(xùn)練題多數(shù)選自與實(shí)際生活貼近的應(yīng)用案例,以培養(yǎng)學(xué)生的數(shù)學(xué)建模意識(shí),充分體現(xiàn)高職教育的應(yīng)用性和實(shí)用性。為拓展學(xué)生建模能力,挖掘?qū)W生的建模潛力,還

《數(shù)學(xué)建模入門(mén)教程》主要包括數(shù)學(xué)建模與數(shù)學(xué)建模競(jìng)賽、MATLAB軟件簡(jiǎn)介、微分方程數(shù)值解、線性規(guī)劃與非線性規(guī)劃、LINGO軟件及離散問(wèn)題求解、多元統(tǒng)計(jì)方法、圖像處理與模式識(shí)別、案例分析等內(nèi)容�！稊�(shù)學(xué)建模入門(mén)教程》集數(shù)學(xué)建模入門(mén)基礎(chǔ)知識(shí)、數(shù)學(xué)實(shí)驗(yàn)及程序編寫(xiě)為一體,注重入門(mén)基礎(chǔ)知識(shí)介紹、數(shù)學(xué)軟件及程序編寫(xiě),由淺入深、循序漸