本書(shū)主要內(nèi)容有各種環(huán)境下粗糙近似算子的構(gòu)造性定義與公理化刻畫(huà)，含一般關(guān)系下的粗糙集、粗糙模糊集、模糊粗糙集（包括基于三角模的模糊粗糙集、基于模糊剩余蘊(yùn)涵的模糊粗糙集、基于模糊蘊(yùn)涵算子的模糊粗糙集、直覺(jué)模糊環(huán)境下的粗糙集理論），各種粗糙集的拓?fù)浣Y(jié)構(gòu)、粗糙集與證據(jù)理論之間的關(guān)系等。本書(shū)可作為計(jì)算機(jī)科學(xué)、應(yīng)用數(shù)學(xué)、自動(dòng)控制、

本書(shū)旨在引導(dǎo)學(xué)生掌握數(shù)學(xué)實(shí)踐與建模，以培養(yǎng)學(xué)生數(shù)學(xué)能力（實(shí)踐能力、創(chuàng)新能力等），同時(shí)也旨在將數(shù)學(xué)工具軟件與數(shù)學(xué)深度融合。本書(shū)是在華北水利水電大學(xué)數(shù)學(xué)實(shí)踐與建模講義的基礎(chǔ)上修改而成，內(nèi)容包括MATLAB簡(jiǎn)介及其應(yīng)用、數(shù)學(xué)建模與論文寫(xiě)作、數(shù)學(xué)實(shí)踐案例、幾類常見(jiàn)的數(shù)學(xué)建模方法、智能算法。在內(nèi)容編排上，本書(shū)精選來(lái)自工程、經(jīng)濟(jì)、

本書(shū)通過(guò)實(shí)例介紹了在科學(xué)研究和數(shù)學(xué)建模競(jìng)賽中常用的數(shù)學(xué)建模方法，包括主成分回歸、嶺回歸、偏最小工乘回歸、向量自回歸、logistic回歸、Probit回歸、響應(yīng)面回歸、線性與非線性規(guī)劃、多目標(biāo)規(guī)劃與目標(biāo)規(guī)劃、動(dòng)態(tài)規(guī)劃、智能優(yōu)化算法、網(wǎng)絡(luò)優(yōu)化、計(jì)算機(jī)仿真、排隊(duì)論、微分與差分、數(shù)據(jù)預(yù)處理、支持向量機(jī)等方法.全書(shū)將數(shù)學(xué)建模技

面向后件集的模糊推理機(jī)制是在模糊集合相互關(guān)聯(lián)的環(huán)境下進(jìn)行的，可以捕獲到規(guī)則中更多的模糊信息，克服了傳統(tǒng)模糊推理會(huì)丟失前件集與后件集相關(guān)性信息的缺陷，推理結(jié)果更加合理。本書(shū)詳細(xì)介紹了面向后件集的模糊推理機(jī)制及其應(yīng)用，包括在Type-1模糊邏輯系統(tǒng)、區(qū)間型Type-2模糊邏輯系統(tǒng)和一般型Type-2模糊邏輯系統(tǒng)中的應(yīng)用，以

鑒于數(shù)學(xué)建模理論與方法的推廣化應(yīng)用及促進(jìn)成果的共享與校企的快速合作，作者通過(guò)歸納總結(jié)過(guò)去十幾年教學(xué)、科研、競(jìng)賽及與企業(yè)合作經(jīng)驗(yàn)寫(xiě)成此書(shū)。內(nèi)容安排如下：數(shù)學(xué)建模與MATLAB基礎(chǔ)知識(shí)；遞歸與迭代方法；線性規(guī)劃問(wèn)題；整數(shù)規(guī)劃及其MATLAB求解源代碼；圖與網(wǎng)絡(luò)優(yōu)化；統(tǒng)計(jì)學(xué)中的參數(shù)估計(jì)、假設(shè)檢驗(yàn)、方差分析和相關(guān)度分析；數(shù)據(jù)的

本書(shū)通過(guò)實(shí)例介紹了常用的初級(jí)數(shù)學(xué)建模方法，包括預(yù)測(cè)預(yù)報(bào)方法（回歸分析、信息時(shí)間傳遞、馬爾可夫鏈、灰色系統(tǒng)、神經(jīng)網(wǎng)絡(luò)預(yù)測(cè)）、關(guān)聯(lián)分析方法（簡(jiǎn)單相關(guān)系數(shù)、偏相關(guān)系數(shù)、通徑分析、典型相關(guān)分析、主成分分析、斯皮爾曼等級(jí)相關(guān)系數(shù)、獨(dú)立性檢驗(yàn)）、綜合評(píng)價(jià)與決策方法（模糊綜合評(píng)價(jià)、主成分綜合評(píng)價(jià)、因子分析、層次分析法、灰色關(guān)聯(lián)、方差

本書(shū)給出了幾個(gè)著名悖論特別是說(shuō)謊者悖論的解答。作為預(yù)備，討論了悖論的由來(lái)和機(jī)理，特別是悖論與反證法的關(guā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è)的專業(yè)課程所寫(xiě)講義基礎(chǔ)上整理出來(lái)的結(jié)果。本書(shū)主要由一階邏輯的核心內(nèi)容和有關(guān)數(shù)的邏輯探索和分析兩大部分組成，其中包括完備性、緊致性、同質(zhì)縮小、型省略等基本定理；有關(guān)數(shù)的經(jīng)典

本書(shū)敘述了與計(jì)算機(jī)科學(xué)有緊密聯(lián)系并且相互之間又有聯(lián)系的數(shù)理邏輯基礎(chǔ)性內(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ū)匯集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ī)律，舉一反三