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

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

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

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

本書給出了幾個著名悖論特別是說謊者悖論的解答。作為預(yù)備，討論了悖論的由來和機理，特別是悖論與反證法的關(guān)系。

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

面向計算機科學(xué)的數(shù)理邏輯 第二版

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

本書是國內(nèi)迄今最全面系統(tǒng)地介紹悖論問題的著作，作者將從古至今五花八門的悖論分成十二類，詳細(xì)介紹每一類悖論的歷史原型、各種變體、邏輯學(xué)家的解決方案、與日常生活的關(guān)系等等。作為國內(nèi)著名的邏輯學(xué)家，作者展示了多年來在這一領(lǐng)域探索的成果，對于國內(nèi)外相關(guān)領(lǐng)域的邏輯學(xué)的研究都將有很大的推動。新版重新撰寫了第十二章。

作者根據(jù)多年的數(shù)學(xué)建模教學(xué)與競賽輔導(dǎo)的經(jīng)驗編寫本書，內(nèi)容包含了初等模型、規(guī)劃模型、隨機模型、統(tǒng)計模型、圖論、模糊數(shù)學(xué)、灰色預(yù)測以及Matlab的使用簡介等，同時引入近年的競賽實例進行案例分析，從而增強模型的實用性。