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