《LINGO基礎培訓教程》是作者結合多年LINGO教學實踐編寫的。其內(nèi)容包括LINGO介紹、LINGO基礎、LINGO外部文件接口、UNGO在數(shù)學規(guī)劃中的應用、LINGO多目標規(guī)劃模型、LINGO數(shù)學模型編程實例共六章，書中配備了較多的實例。這些實例是學習LINGO與數(shù)學建模必須掌握的基本技能。同時在每章后面給出了大量
本書緊密聯(lián)系高職數(shù)學課程內(nèi)容，緊扣高職人才培養(yǎng)目標，結合高職學生知識能力水平，從實際引入問題，優(yōu)選典型案例，讓學生從淺顯的實際問題處理中領悟數(shù)學建模的方法，體會數(shù)學的魅力和奧妙，能夠有效培養(yǎng)學生數(shù)學應用意識和能力。本書為普通高等學校高水平高職教材，可供開設數(shù)學建模課程的高職高專各專業(yè)使用，也可作為學生自學數(shù)學建模或參加
本書分別針對鈾礦堆浸工程中的參數(shù)識別、放射性廢物安全處置庫區(qū)域穩(wěn)定性、“薄”預混火焰燃燒穩(wěn)定性、腫瘤擴散生長等應用背景，分別討論了鈾礦堆浸擴散模型參數(shù)反演問題、雙重介質(zhì)中核素遷移擴散模型反問題、熱-擴散燃燒模型和高階廣義Cahn-Hilliard方程等的數(shù)值計算，將數(shù)學物理反問題的理論與方法應用到工業(yè)中，對鈾礦堆浸提煉
數(shù)學建模與實驗是將數(shù)學理論和專業(yè)知識有機結合的有效途徑。本書通過案例介紹各種數(shù)學建模方法，并運用數(shù)學軟件實現(xiàn)模型求解，內(nèi)容包括規(guī)劃模型、微分方程模型、隨機模型、數(shù)據(jù)處理與統(tǒng)計模型、圖論模型、模糊數(shù)學模型、層次分析模型等。還介紹了數(shù)學軟件MATLAB和相關數(shù)學建模競賽。各章后附練習題。本書可作為高等學校數(shù)學建模與數(shù)學實驗
選擇公理的發(fā)展處在數(shù)學、邏輯學和哲學的交匯處。選擇公理的提出以及關于它的爭論，涉及許多哲學觀點的相互碰撞。選擇公理為數(shù)學提供了強有力的論證方法，利用它可以證明許多重要的結論。選擇公理的發(fā)展也促進了邏輯學的發(fā)展。本書主要對選擇公理的產(chǎn)生及發(fā)展歷史，在數(shù)學和邏輯學中的應用，協(xié)調(diào)性和獨立性以及對數(shù)學哲學的影響作了全面系統(tǒng)的論
本書是版權引進自英國劍橋大學出版社的一本原版大學數(shù)學教材，中文書名可翻譯為《集合論入門》。本書作者丹尼爾.W.坎寧安，是紐約州立大學布法羅分校的數(shù)學教授，專門研究集合論和數(shù)學邏輯。他是國際符合邏輯協(xié)會、美國數(shù)學協(xié)會和美國數(shù)學學會的成員�？矊幇苍�2013年出版著作《證明的邏輯導論》。大學數(shù)學教材中集合論雖然是一個十分重
《數(shù)學建模實用教程（第二版）》共收錄了76個應用案例分析，其中包含16個全國競賽題的案例，60個實際問題的應用練習。該書結合高職高專數(shù)學課程的教學實際和參加全國大學生數(shù)學建模競賽培訓的需要，從內(nèi)容的選擇、組織編排、難易取舍都考慮到高職高專院校教師的使用和學生的學習實際，力求做到有用、適用、能用、夠用和方便使用。《數(shù)學建
本書以培養(yǎng)數(shù)學建模思想、突出應用為重點,以技能訓練為主線,使學生通過本課程的學習,在數(shù)學建模能力的提高上有所收獲,為處理實際問題和參加全國數(shù)學建模競賽打好基礎。本書中的例題、能力訓練題多數(shù)選自與實際生活貼近的應用案例,以培養(yǎng)學生的數(shù)學建模意識,充分體現(xiàn)高職教育的應用性和實用性。為拓展學生建模能力,挖掘學生的建模潛力,還
主要內(nèi)容涵蓋數(shù)理邏輯的歷史起源、命題邏輯語言、主要系統(tǒng)及其元性質(zhì)、謂詞邏輯語言、主要系統(tǒng)及其元性質(zhì)、邏輯在數(shù)學與哲學中的運用（包括不完全性定理及技術發(fā)展過程中衍生的語言分析技術）
本書是“邏輯與形而上學教科書系列”中的一本。書中從零起點開始，介紹了數(shù)理邏輯的基本知識。全書共10章:第一章是預備知識，主要介紹書中所需要的集合論的初步知識:第二至第六章是一階邏輯的基本內(nèi)容，重點介紹哥德爾的完全性定理;第七章是遞歸論的基本知識，也是為后面內(nèi)容所做的準備;第八章介紹一階算術的一些片段;第九和第十章是哥德
書單推薦
