本書首先簡要介紹了數(shù)理邏輯的發(fā)展、形式系統(tǒng)及一些預(yù)備知識，然后介紹了集合論，詳細(xì)講解了命題演算、謂詞演算、可計(jì)算性理論和哥德爾不完全性定理，最后介紹了模型論的基礎(chǔ)知識和方法。全書重點(diǎn)突出，論證詳細(xì)，各部分內(nèi)容配有典型的例子和習(xí)題，以便讀者更好地理解、掌握相關(guān)知識。
本書致力于適應(yīng)普通本科高校的數(shù)學(xué)建模教學(xué)，力求做到內(nèi)容簡明扼要、淺顯易懂，讓學(xué)生既學(xué)到基本的建模方法，又有擴(kuò)展學(xué)習(xí)的空間。本書采用了目前比較流行的Python語言進(jìn)行數(shù)值實(shí)驗(yàn)。全書主要內(nèi)容包括插值與擬合、微分方程、圖與網(wǎng)絡(luò)優(yōu)化、線性規(guī)劃、非線性規(guī)劃、數(shù)據(jù)的統(tǒng)計(jì)描述、統(tǒng)計(jì)分析、綜合評價(jià)方法等。本書還提供所有例題的Pyth
《數(shù)學(xué)建模方法與實(shí)踐》內(nèi)容包括線性規(guī)劃、非線性規(guī)劃、動(dòng)態(tài)規(guī)劃、國論基礎(chǔ)、組合數(shù)學(xué)、多元統(tǒng)計(jì)分析、微分方程建模分析、數(shù)值計(jì)算等。每章為一個(gè)相對獨(dú)立的數(shù)學(xué)方法與建模實(shí)踐單元。通過學(xué)習(xí)，可以使讀者掌握基本數(shù)學(xué)方法，同時(shí)培養(yǎng)讀者對實(shí)際問題的理解能力、從具體到抽象的分析能力、算法設(shè)計(jì)與編程能力、綜合概括與結(jié)果分析能力等。
《數(shù)學(xué)建�；A(chǔ)及應(yīng)用》既是編者在西南交通大學(xué)多年教學(xué)經(jīng)驗(yàn)的總結(jié)，也是編者長期組織學(xué)生參加各類數(shù)學(xué)建模比賽的經(jīng)驗(yàn)集成�！稊�(shù)學(xué)建模基礎(chǔ)及應(yīng)用》共9章，內(nèi)容包含數(shù)學(xué)建模概述、數(shù)學(xué)規(guī)劃模型、圖論方法、數(shù)理統(tǒng)計(jì)模型、綜合評價(jià)方法、預(yù)測方法、方程模型、其他模型、現(xiàn)代優(yōu)化算法等。在編寫過程中，力求做到以下幾點(diǎn)：，系統(tǒng)性強(qiáng)，《數(shù)學(xué)建模
《全國大學(xué)生數(shù)學(xué)建模競賽B題優(yōu)秀論文評述》精選了陸軍軍醫(yī)大學(xué)（原第三軍醫(yī)大學(xué)）2009-2016年獲全國大學(xué)生數(shù)學(xué)建模競賽獎(jiǎng)項(xiàng)的B題很好論文，從模型建立、求解方法、論文寫作等多方面評優(yōu)點(diǎn)、論不足、述改進(jìn)，力求保持論文原味，讓讀者通過閱讀全面領(lǐng)悟論文建模方法，快速提高數(shù)學(xué)建模能力。因此，特別推薦給參加各類數(shù)學(xué)建模競賽的學(xué)
《全國大學(xué)生數(shù)學(xué)建模競賽A題優(yōu)秀論文評述》精選了陸軍軍醫(yī)大學(xué)（原第三軍醫(yī)大學(xué)）2007-2017年獲全國大學(xué)生數(shù)學(xué)建模競賽獎(jiǎng)項(xiàng)的A題很好論文，從模型建立、求解方法、論文寫作等多方面評優(yōu)點(diǎn)、論不足、述改進(jìn)，力求保持論文原味，讓讀者通過閱讀全面領(lǐng)悟論文建模方法，快速提高數(shù)學(xué)建模能力。因此，特別推薦《全國大學(xué)生數(shù)學(xué)建模競賽A
本書是安徽師范大學(xué)參加全國大學(xué)生數(shù)學(xué)建模競賽和美國大學(xué)生數(shù)學(xué)建模競賽獲獎(jiǎng)?wù)撐牡倪x編，主要是從該校2006—2018年獲全國一等獎(jiǎng)、二等獎(jiǎng)以及美國大學(xué)生數(shù)學(xué)建模競賽一等獎(jiǎng)的論文中精選出的15篇優(yōu)秀論文編輯整理而成，每一篇獨(dú)立成文。每一篇精選的獲獎(jiǎng)?wù)撐亩及凑崭傎愓撐牡膶懽饕�，包含論文的摘要、問題的重述、問題的分析、模型的
本書以培養(yǎng)數(shù)學(xué)建模思想、突出應(yīng)用為重點(diǎn),以技能訓(xùn)練為主線,使學(xué)生通過本課程的學(xué)習(xí),在數(shù)學(xué)建模能力的提高上有所收獲,為處理實(shí)際問題和參加全國數(shù)學(xué)建模競賽打好基礎(chǔ)。本書中的例題、能力訓(xùn)練題多數(shù)選自與實(shí)際生活貼近的應(yīng)用案例,以培養(yǎng)學(xué)生的數(shù)學(xué)建模意識,充分體現(xiàn)高職教育的應(yīng)用性和實(shí)用性。為拓展學(xué)生建模能力,挖掘?qū)W生的建模潛力,還
《數(shù)學(xué)建模入門教程》主要包括數(shù)學(xué)建模與數(shù)學(xué)建模競賽、MATLAB軟件簡介、微分方程數(shù)值解、線性規(guī)劃與非線性規(guī)劃、LINGO軟件及離散問題求解、多元統(tǒng)計(jì)方法、圖像處理與模式識別、案例分析等內(nèi)容�！稊�(shù)學(xué)建模入門教程》集數(shù)學(xué)建模入門基礎(chǔ)知識、數(shù)學(xué)實(shí)驗(yàn)及程序編寫為一體,注重入門基礎(chǔ)知識介紹、數(shù)學(xué)軟件及程序編寫,由淺入深、循序漸
本書精選了2013～2017年中國研究生數(shù)學(xué)建模競賽的七個(gè)賽題.全書共分8章，內(nèi)容包括對中國研究生數(shù)學(xué)建模競賽的思考、水面艦艇編隊(duì)防空和信息化戰(zhàn)爭評估模型、微蜂窩環(huán)境中無線接收信號的特性分析、乘用車物流運(yùn)輸計(jì)劃問題、機(jī)動(dòng)目標(biāo)的跟蹤與反跟蹤、面向節(jié)能的單/多列車優(yōu)化決策問題、多無人機(jī)協(xié)同任務(wù)規(guī)劃、多波次導(dǎo)彈發(fā)射中的規(guī)劃問
書單推薦 更多 新書推薦 更多
