本書(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ū)的創(chuàng)新之處在于把謂詞抽象的思想應(yīng)用于邏輯和哲學(xué)兩個(gè)領(lǐng)域的研究。在邏輯領(lǐng)域，通過(guò)引入謂詞抽象這一具體的技術(shù)，突破了模態(tài)邏輯領(lǐng)域Herbrand定理研究的難題，從而為模態(tài)自動(dòng)定理證明提供了理論基礎(chǔ)。在哲學(xué)領(lǐng)域，通過(guò)將謂詞抽象思想應(yīng)用于相關(guān)哲學(xué)問(wèn)題的研究，延續(xù)了哲學(xué)研究中的邏輯分析傳統(tǒng)。

優(yōu)勢(shì)關(guān)系粗糙集以優(yōu)勢(shì)關(guān)系代替了經(jīng)典粗糙集的不可分辨關(guān)系，更好地滿足了描述實(shí)際問(wèn)題中某些屬性具有偏序關(guān)系和連續(xù)屬性的需要。優(yōu)勢(shì)關(guān)系粗糙集既可以有效處理等價(jià)關(guān)系又可以處理具有偏序關(guān)系的決策信息系統(tǒng)，現(xiàn)已成為處理不確定信息的一個(gè)很重要的理論模型，受到越來(lái)越多的學(xué)者的關(guān)注。本書(shū)集結(jié)了作者近年來(lái)在該領(lǐng)域的研究成果，從變精度模型、

本書(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)典

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

本書(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ī)律，舉一反三

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

本書(shū)由長(zhǎng)期從事應(yīng)用數(shù)學(xué)和數(shù)學(xué)建模教學(xué)并有著豐富教學(xué)經(jīng)驗(yàn)的教師完成，這些案例有的來(lái)自他們的實(shí)際課題，有的根據(jù)他們了解的實(shí)際背景資料和現(xiàn)成的數(shù)學(xué)模型做了精心改編，內(nèi)容涉及工程、管理、信息、醫(yī)療、經(jīng)濟(jì)、社會(huì)等領(lǐng)域的實(shí)際問(wèn)題�？勺鳛楣た圃盒＠�、工、農(nóng)、林、醫(yī)、經(jīng)管等專業(yè)數(shù)學(xué)建模課程的教材，也可作為數(shù)學(xué)建模競(jìng)賽的輔導(dǎo)材料，還可作

本書(shū)集成了兩個(gè)方面的內(nèi)容：數(shù)學(xué)建模應(yīng)用與實(shí)踐導(dǎo)引，全國(guó)研究生數(shù)學(xué)建模競(jìng)賽導(dǎo)引。書(shū)中既編入了數(shù)學(xué)建模應(yīng)用實(shí)踐與全國(guó)研究生數(shù)學(xué)建模競(jìng)賽的相關(guān)指導(dǎo)性文件，論文寫(xiě)作方法，又編入了編著者多年來(lái)指導(dǎo)學(xué)生參加數(shù)學(xué)建模應(yīng)用實(shí)踐與全國(guó)數(shù)學(xué)建模競(jìng)賽活動(dòng)所關(guān)注的多方面問(wèn)題的建模應(yīng)用研究成果，內(nèi)容涉及教育，城市交通，水資源節(jié)約，旅游，植物生長(zhǎng)

許多社會(huì)學(xué)、經(jīng)濟(jì)學(xué)、金融學(xué)、管理學(xué)等領(lǐng)域的問(wèn)題，在分析建模過(guò)程中往往單一模型描述并不能達(dá)到很好的效果。隨著現(xiàn)代經(jīng)濟(jì)社會(huì)的發(fā)展，面對(duì)的問(wèn)題越來(lái)越復(fù)雜，如何有效地表達(dá)問(wèn)題的內(nèi)在關(guān)系成為求解者面臨的首要任務(wù)，而多方法建模是解決上述問(wèn)題的有效方法。本書(shū)內(nèi)容包括：基本的建模原理、離散事件系統(tǒng)建模、動(dòng)力學(xué)系統(tǒng)建模、多智能體系統(tǒng)建模

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

楊海龍著的《雙論域粗糙集理論與方法》系統(tǒng)研究雙論域上的粗糙集理論與方法，包括單論域粗糙集的基本理論、雙論域上的粗糙集模型的變換、雙論域上基于水平集的粗糙集、雙論域上的概率粗糙集、雙論域上的多粒度粗糙集與多粒度概率粗糙集、雙論域上的多粒度決策粗糙集等理論及方法。 本書(shū)可供高等院校數(shù)學(xué)、計(jì)算機(jī)科學(xué)、信息科學(xué)、自動(dòng)化、管理

不確定性推理的計(jì)量化模型及其粗糙集語(yǔ)義

本教材將理論建模與實(shí)踐教學(xué)融入一體，將數(shù)學(xué)模型的建立與數(shù)學(xué)模型的求解完整的結(jié)合在一起。在理論建模方面加強(qiáng)了問(wèn)題的分析部分；介紹了常用的數(shù)學(xué)模型求解方法，并結(jié)合實(shí)例進(jìn)行有針對(duì)性的講解；還介紹了常用的兩種數(shù)學(xué)軟件以及這兩款軟件在相應(yīng)問(wèn)題中的具體應(yīng)用方法，為學(xué)生解決實(shí)際問(wèn)題提供了簡(jiǎn)便的計(jì)算機(jī)手段。教材在選用案例方面，注重案例

《數(shù)學(xué)與猜想第二卷合情推理模式（數(shù)學(xué)名著譯叢）》是《數(shù)學(xué)與猜想》的第二卷。這一卷系統(tǒng)地論述了合情推理的模式，評(píng)述它們彼此之間以及與概率計(jì)算的關(guān)系，并扼要地討論了它們與數(shù)學(xué)發(fā)現(xiàn)及教學(xué)的關(guān)系�！稊�(shù)學(xué)與猜想第二卷合情推理模式（數(shù)學(xué)名著譯叢）》將數(shù)學(xué)中的推理模式與生活中的實(shí)例相聯(lián)系，論述深入淺出，讀來(lái)令人興味盎然。全書(shū)有大量習(xí)

本書(shū)是著名數(shù)學(xué)家G.波利亞撰寫(xiě)的一部經(jīng)典名著，書(shū)中討論的是自然科學(xué)、特別是數(shù)學(xué)領(lǐng)域中與嚴(yán)密的論證推理完全不同的一種推理方法——合情推理（即猜想）。本書(shū)通過(guò)許多古代著名的猜想，討論了論證方法，闡述了作者的觀點(diǎn)：不但要學(xué)習(xí)論證推理，也要學(xué)習(xí)合情推理，以豐富人們的科學(xué)思想，提高辯證思維能力，本書(shū)的例子不僅涉及數(shù)學(xué)各學(xué)科，也涉

《LINGO和Excel在數(shù)學(xué)建模中的應(yīng)用》深入淺出地介紹了LINGO的基礎(chǔ)知識(shí)、用LINGO語(yǔ)言描述現(xiàn)實(shí)問(wèn)題的方法和用Excel處理數(shù)據(jù)的方法，重點(diǎn)是這兩種軟件在解決各種優(yōu)化問(wèn)題以及在數(shù)學(xué)建模中的應(yīng)用，通過(guò)豐富的實(shí)例介紹了把實(shí)際問(wèn)題轉(zhuǎn)化為數(shù)學(xué)模型的方法，以及綜合運(yùn)用LINGO等軟件來(lái)求解模型的手段和技巧。《LINGO

本書(shū)是數(shù)理邏輯和集合論的基礎(chǔ)語(yǔ)言。共8章，前5章是數(shù)理邏輯部分：第1-3章是數(shù)理邏輯，包括命題邏輯、謂詞邏輯及其公理化理論；第4章是簡(jiǎn)單模態(tài)邏輯，第5章是利用基礎(chǔ)知識(shí)分析基礎(chǔ)教育階段數(shù)學(xué)教、學(xué)中遇到的問(wèn)題。在每一節(jié)的起始將本節(jié)內(nèi)容所滲透的重要的思想方法提煉出來(lái)放在前面，以期利于讀者對(duì)內(nèi)容的深入理解和對(duì)數(shù)學(xué)思想方法的進(jìn)一

本書(shū)側(cè)重?cái)?shù)學(xué)建模知識(shí)的了解和數(shù)學(xué)建模能力及意識(shí)的培養(yǎng)，案例豐富，由淺入深，便于學(xué)生自學(xué)和教師教學(xué)。本著簡(jiǎn)明、實(shí)用和有趣的原則，書(shū)中的內(nèi)容主要以初、中等難度數(shù)學(xué)建模問(wèn)題為主，以求達(dá)到降低數(shù)學(xué)建模學(xué)習(xí)起點(diǎn)、實(shí)用和通俗易懂的目的。讀者只要學(xué)過(guò)微積分、線性代數(shù)和了解簡(jiǎn)單的概率統(tǒng)計(jì)知識(shí)就可以學(xué)習(xí)本書(shū)。