本書(shū)是MATLAB數(shù)學(xué)建模應(yīng)用系列書(shū)籍之一，以MATLABR2016a軟件版本為基礎(chǔ)，根據(jù)數(shù)學(xué)建模的需要編寫(xiě)，包含了多種數(shù)學(xué)建模問(wèn)題的MATLAB求解方法，是解決數(shù)學(xué)實(shí)驗(yàn)和數(shù)學(xué)建模的有力工具。 全書(shū)共18章，分為前后兩個(gè)部分，第1~10章屬于前部分，第11~18章屬于后部分。前部分從MATLAB基礎(chǔ)和數(shù)學(xué)建�；�礎(chǔ)知識(shí)

本書(shū)由一道競(jìng)賽題引入麥卡錫函數(shù),介紹了麥卡錫函數(shù)與阿克曼函數(shù)的相關(guān)內(nèi)容與問(wèn)題，并同時(shí)介紹了莫紹揆數(shù)理邏輯的相關(guān)內(nèi)容及其歷史與進(jìn)展。

本書(shū)是作者在新加坡國(guó)立大學(xué)、北京大學(xué)和中國(guó)科學(xué)院大學(xué)為本科高年級(jí)學(xué)生開(kāi)設(shè)的數(shù)理邏輯選修課和在新加坡國(guó)立大學(xué)、中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院為研究生開(kāi)設(shè)的專(zhuān)業(yè)課程所寫(xiě)講義基礎(chǔ)上整理出來(lái)的結(jié)果。本書(shū)主要由一階邏輯的核心內(nèi)容和有關(guān)數(shù)的邏輯探索和分析兩大部分組成，其中包括完備性、緊致性、同質(zhì)縮小、型省略等基本定理；有關(guān)數(shù)的經(jīng)典

數(shù)學(xué)實(shí)驗(yàn)課的宗旨是：在教師指導(dǎo)下以學(xué)生在計(jì)算機(jī)上動(dòng)手、動(dòng)眼、動(dòng)腦為主，通過(guò)用數(shù)學(xué)軟件做實(shí)驗(yàn)，學(xué)習(xí)解決實(shí)際問(wèn)題常用的數(shù)學(xué)方法，并在此基礎(chǔ)上分析、解決經(jīng)過(guò)簡(jiǎn)化的實(shí)際問(wèn)題，提高學(xué)數(shù)學(xué)與用數(shù)學(xué)的興趣、意識(shí)和能力。《數(shù)學(xué)實(shí)驗(yàn)及典型案例分析》是根據(jù)數(shù)學(xué)實(shí)驗(yàn)課程教學(xué)和數(shù)學(xué)建模競(jìng)賽培訓(xùn)的需要，在作者多年從事相關(guān)教學(xué)和研究工作以及指導(dǎo)數(shù)

本書(shū)共分七章，重點(diǎn)講解教學(xué)媒體、教學(xué)設(shè)計(jì)、教學(xué)技能在數(shù)學(xué)學(xué)科中的應(yīng)用方法，具體介紹以信息技術(shù)為核心的現(xiàn)代教育信息技術(shù)與數(shù)學(xué)課程教學(xué)整合的方法和學(xué)科教學(xué)案例的設(shè)計(jì)與應(yīng)用，通過(guò)實(shí)際的教學(xué)案例將理論與實(shí)際相結(jié)合，對(duì)教學(xué)改革和現(xiàn)代教育信息技術(shù)在數(shù)學(xué)教學(xué)中的應(yīng)用起到促進(jìn)和推動(dòng)作用。

本書(shū)敘述了與計(jì)算機(jī)科學(xué)有緊密聯(lián)系并且相互之間又有聯(lián)系的數(shù)理邏輯基礎(chǔ)性?xún)?nèi)容，包括經(jīng)典邏輯和非經(jīng)典邏輯中的構(gòu)造性邏輯和模態(tài)邏輯。本書(shū)在選材時(shí)考慮了邏輯系統(tǒng)的特征，并且適應(yīng)計(jì)算機(jī)科學(xué)的要求。本書(shū)研究各種邏輯的背景、語(yǔ)言、語(yǔ)義、形式推演，以及可靠性和完備性等問(wèn)題。本書(shū)大部分章節(jié)附有習(xí)題。

本書(shū)討論如何撰寫(xiě)美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽論文。書(shū)中包括兩部分內(nèi)容：一部分是地道的英文內(nèi)容，另一部分為與之對(duì)應(yīng)的中文介紹，這樣安排的目的是培養(yǎng)讀者用英文寫(xiě)作及思考的習(xí)慣，有困難時(shí)可以查看中文內(nèi)容；或者先快速了解中文，再看英文表達(dá)。主要內(nèi)容包括：簡(jiǎn)介、文章結(jié)構(gòu)、文體、英語(yǔ)的用法、數(shù)學(xué)符號(hào)、數(shù)學(xué)表達(dá)、圖形和表格、修改實(shí)例、寫(xiě)作

本書(shū)在深入淺出地介紹LINGO基本用法和LINGO與各種文件和數(shù)據(jù)庫(kù)之間的數(shù)據(jù)傳遞和處理方法的基礎(chǔ)上，分兩個(gè)層次介紹了LINGO軟件及其應(yīng)用:*個(gè)層次以數(shù)學(xué)規(guī)劃、圖論與網(wǎng)絡(luò)優(yōu)化、多目標(biāo)規(guī)劃等LINGO軟件常用領(lǐng)域?yàn)楸尘�，介紹LINGO軟件求解優(yōu)化模型的常規(guī)手段和技巧；第二個(gè)層次以博弈論、存貯論、排隊(duì)論、決策分析、評(píng)價(jià)方

《實(shí)定理的復(fù)證明》是對(duì)Hadamard的格言“實(shí)域中兩個(gè)真理之間的最好和最短路程是通過(guò)復(fù)域”的延伸思考。面向熟悉研究生一年級(jí)水平分析學(xué)的受眾，此書(shū)的目的在于解釋復(fù)變量是如何對(duì)分析的一些領(lǐng)域中的許多類(lèi)重要結(jié)果提供了快速而高效的證明,這些領(lǐng)域包括諸如近似理論、算子理論、調(diào)和分析和復(fù)動(dòng)力系統(tǒng)。

本書(shū)匯集GMAT官方解析2015、2016、2017版的所有閱讀題材，從具體內(nèi)容來(lái)講1.以Prep為藍(lán)本，幫助考生了解“標(biāo)準(zhǔn)化考試”；2.對(duì)開(kāi)排版，適應(yīng)機(jī)考；3.在語(yǔ)境中背單詞，掃除理解障礙；4.精選長(zhǎng)難句，提升閱讀理解能力；5.套路題型，快速有效；6.框架結(jié)構(gòu)，一覽重點(diǎn)；7.結(jié)合技巧，解析題目；8.總結(jié)規(guī)律，舉一反三