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

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

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

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

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

本書共有七章，包括：數(shù)學(xué)建模概述、初等建模方法與初等模型、微分方程模型、運籌學(xué)模型、隨機性模型、統(tǒng)計建模方法和中學(xué)數(shù)學(xué)建模。第二章和第七章用初等數(shù)學(xué)方法建模，第三章至第六章用高等數(shù)學(xué)方法建模。書中案例豐富，分析過程和解題步驟細(xì)致。全書紙質(zhì)內(nèi)容與數(shù)字課程一體化設(shè)計，緊密結(jié)合。數(shù)字課程包含基礎(chǔ)知識、數(shù)學(xué)家小傳、拓展閱讀、數(shù)

全書分為入門篇和進(jìn)階篇。入門篇為比較經(jīng)典的數(shù)學(xué)建模內(nèi)容，主要面向數(shù)學(xué)建模的初學(xué)者；進(jìn)階篇為現(xiàn)代數(shù)學(xué)建模方法和MATLAB軟件簡介及應(yīng)用，主要面向希望進(jìn)一步提高數(shù)學(xué)建模能力并用于解決實際問題的讀者，這些方法在數(shù)學(xué)建模競賽中會經(jīng)常用到。全書案例豐富，每章后附有習(xí)題，其中不部分習(xí)題需要上機實踐。

本書以Python軟件為基礎(chǔ)，介紹了數(shù)學(xué)建模的各種常用算法及其軟件實現(xiàn)，內(nèi)容涉及高等數(shù)學(xué)、工程數(shù)學(xué)中的相關(guān)數(shù)學(xué)實驗、數(shù)學(xué)規(guī)劃、插值與擬合、微分方程、差分方程、評價預(yù)測、圖論模型等。

本卷是在前兩卷的基礎(chǔ)上對集合論保證無窮集合存在的無窮公理的層次分析.這種分析既包含組合分析,也包含邏輯分析;既包含內(nèi)模型分析，也包含外模型分析；歸根結(jié)底是揭示各種高階無窮公理對整個集合論論域的影響，尤其是對實數(shù)集合的影響.因此,第三卷的第1章側(cè)重于大基數(shù)的組合分析、邏輯分析以及內(nèi)模型構(gòu)造;第2章側(cè)重于在大基數(shù)上構(gòu)造各種

本卷是集合論的模型分析部分.在第一卷的基礎(chǔ)上,本卷的主要任務(wù)是將邏輯植入集合論之中,并以此為基礎(chǔ)實現(xiàn)三大目標(biāo):第一大目標(biāo)是將同質(zhì)子模型分析引入集合論,這是一種不同于組合分析的對無窮集合展開分析的基本方法;第二大目標(biāo)則是建立集合論論域的具有典范作用的內(nèi)模型——哥德爾可構(gòu)造集論域,從而證明一般連續(xù)統(tǒng)假設(shè)和選擇公理的相對相容