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

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

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

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

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

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

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

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

本書按照工科學生數(shù)學建模能力培養(yǎng)要求編寫，以鞏固學生數(shù)學基礎知識、培養(yǎng)學生專業(yè)復雜問題分析能力、增強學生計算軟件應用能力，以及訓練學生的實踐能力和創(chuàng)新能力為目的，通過基礎知識講解、基本技能訓練和應用創(chuàng)新實踐等環(huán)節(jié)深入淺出地介紹了專業(yè)學科領域里的數(shù)學建�；�礎知識、相關計算軟件的使用方法、復雜問題的研究方法和科技論文寫作等

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

本書利用數(shù)學建模方法討論了人類社會和自然界中的33個話題，既包括對經(jīng)典話題的全新闡釋，也包含對若干全新話題的原創(chuàng)研磨，不僅解答了大眾對于數(shù)學的最常見疑問：“數(shù)學有什么用？”更是以高中知識為主要工具、以數(shù)學建模為主要載體、以中學生能夠理解的方式，展現(xiàn)了數(shù)學研究的基本過程和思維方式。33個話題充分體現(xiàn)了數(shù)學與生活的密切聯(lián)系

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

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

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

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

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

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

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

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

本書是安徽師范大學參加全國大學生數(shù)學建模競賽和美國大學生數(shù)學建模競賽獲獎論文的選編，主要是從該校2006—2018年獲全國一等獎、二等獎以及美國大學生數(shù)學建模競賽一等獎的論文中精選出的15篇優(yōu)秀論文編輯整理而成，每一篇獨立成文。每一篇精選的獲獎論文都按照競賽論文的寫作要求，包含論文的摘要、問題的重述、問題的分析、模型的