本書(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ě),由淺入深、循序漸

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

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

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

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

《集合論導(dǎo)引》共三卷，本書(shū)是第一卷，本卷是這本《導(dǎo)引》的開(kāi)卷。本卷將分成三章來(lái)為后續(xù)兩卷奠定基礎(chǔ)。第一章主要是引進(jìn)集合論的基本公理、基本概念、基本方法以及建立起典型的可數(shù)集合的例子，包括自然數(shù)集合、整數(shù)集合、有理數(shù)集合以及徹底有限集合的集合。第二章主要是引進(jìn)選擇公理以及由此建立起來(lái)的基數(shù)運(yùn)算律和一些典型組合實(shí)例。第三章

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

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

布爾巴基學(xué)派的序、代數(shù)、拓?fù)淙�大母結(jié)構(gòu)是現(xiàn)代數(shù)學(xué)的基礎(chǔ).利用計(jì)算機(jī)證明輔助工具,可以完整構(gòu)建這三大母結(jié)構(gòu)的形式化系統(tǒng).《公理化集合論機(jī)器證明系統(tǒng)》利用交互式定理證明工具Coq,實(shí)現(xiàn)Morse-Kelley公理化集合論形式化系統(tǒng),包括對(duì)該體系中8個(gè)公理(含選擇公理)和1個(gè)公理圖示以及全部181條定義或定理的Coq描述,其