數學建模與實驗是將數學理論和專業(yè)知識有機結合的有效途徑。本書通過案例介紹各種數學建模方法，并運用數學軟件實現模型求解，內容包括規(guī)劃模型、微分方程模型、隨機模型、數據處理與統計模型、圖論模型、模糊數學模型、層次分析模型等。還介紹了數學軟件MATLAB和相關數學建模競賽。各章后附練習題。本書可作為高等學校數學建模與數學實驗

選擇公理的發(fā)展處在數學、邏輯學和哲學的交匯處。選擇公理的提出以及關于它的爭論，涉及許多哲學觀點的相互碰撞。選擇公理為數學提供了強有力的論證方法，利用它可以證明許多重要的結論。選擇公理的發(fā)展也促進了邏輯學的發(fā)展。本書主要對選擇公理的產生及發(fā)展歷史，在數學和邏輯學中的應用，協調性和獨立性以及對數學哲學的影響作了全面系統的論

本書是版權引進自英國劍橋大學出版社的一本原版大學數學教材，中文書名可翻譯為《集合論入門》。本書作者丹尼爾.W.坎寧安，是紐約州立大學布法羅分校的數學教授，專門研究集合論和數學邏輯。他是國際符合邏輯協會、美國數學協會和美國數學學會的成員。坎寧安曾于2013年出版著作《證明的邏輯導論》。大學數學教材中集合論雖然是一個十分重

《數學建模實用教程（第二版）》共收錄了76個應用案例分析，其中包含16個全國競賽題的案例，60個實際問題的應用練習。該書結合高職高專數學課程的教學實際和參加全國大學生數學建模競賽培訓的需要，從內容的選擇、組織編排、難易取舍都考慮到高職高專院校教師的使用和學生的學習實際，力求做到有用、適用、能用、夠用和方便使用。《數學建

本書以培養(yǎng)數學建模思想、突出應用為重點,以技能訓練為主線,使學生通過本課程的學習,在數學建模能力的提高上有所收獲,為處理實際問題和參加全國數學建模競賽打好基礎。本書中的例題、能力訓練題多數選自與實際生活貼近的應用案例,以培養(yǎng)學生的數學建模意識,充分體現高職教育的應用性和實用性。為拓展學生建模能力,挖掘學生的建模潛力,還

主要內容涵蓋數理邏輯的歷史起源、命題邏輯語言、主要系統及其元性質、謂詞邏輯語言、主要系統及其元性質、邏輯在數學與哲學中的運用（包括不完全性定理及技術發(fā)展過程中衍生的語言分析技術）

本書是“邏輯與形而上學教科書系列”中的一本。書中從零起點開始，介紹了數理邏輯的基本知識。全書共10章:第一章是預備知識，主要介紹書中所需要的集合論的初步知識:第二至第六章是一階邏輯的基本內容，重點介紹哥德爾的完全性定理;第七章是遞歸論的基本知識，也是為后面內容所做的準備;第八章介紹一階算術的一些片段;第九和第十章是哥德

《數學建模入門教程》主要包括數學建模與數學建模競賽、MATLAB軟件簡介、微分方程數值解、線性規(guī)劃與非線性規(guī)劃、LINGO軟件及離散問題求解、多元統計方法、圖像處理與模式識別、案例分析等內容�！稊祵W建模入門教程》集數學建模入門基礎知識、數學實驗及程序編寫為一體,注重入門基礎知識介紹、數學軟件及程序編寫,由淺入深、循序漸

編者根據高等院校數學建模課程的教學基本要求結合自身豐富的理論教學和競賽指導經驗編寫《數學建模與數據處理》�！稊祵W建模與數據處理》共6章，分別是緒論、方程模型、規(guī)劃模型、圖與網絡模型、統計模型和論文寫作及真題解析。另外，部分章節(jié)附有相應的程序�！稊祵W建模與數據處理》實用性強、通俗易懂，且能夠啟發(fā)和培養(yǎng)學生的自學能力。

本書精選了2013～2017年中國研究生數學建模競賽的七個賽題.全書共分8章，內容包括對中國研究生數學建模競賽的思考、水面艦艇編隊防空和信息化戰(zhàn)爭評估模型、微蜂窩環(huán)境中無線接收信號的特性分析、乘用車物流運輸計劃問題、機動目標的跟蹤與反跟蹤、面向節(jié)能的單/多列車優(yōu)化決策問題、多無人機協同任務規(guī)劃、多波次導彈發(fā)射中的規(guī)劃問