本書集中研究邏輯代數(shù)上濾子理論和算子代數(shù)上可導(dǎo)映射，主要是作者近年研究工作的總結(jié)，同時(shí)也介紹了與之相關(guān)的國內(nèi)外眾多學(xué)者的**成果。全書共7章，涉及兩大部分的內(nèi)容:*部分(第1—4章)邏輯代數(shù)上的濾子理論，主要研究剩余格上各種濾子的系統(tǒng)結(jié)構(gòu)，獲得這些濾子間相互等價(jià)的條件，建立邏輯代數(shù)上濾子的表示理論；第二部分(第5—7章

本書揭示了數(shù)學(xué)模型與其相應(yīng)客觀系統(tǒng)間空間實(shí)質(zhì)的差異，建模中從非量到量的映射實(shí)質(zhì)和空間轉(zhuǎn)換；論證了模型的近似性與精確性的實(shí)質(zhì)及其關(guān)系，數(shù)學(xué)模型的非**性及其一般原理；給出了數(shù)學(xué)建模中公理化理論及公理化方法，數(shù)學(xué)模型的系統(tǒng)論本質(zhì)認(rèn)識(shí)；*后，在上述理論的基礎(chǔ)上，進(jìn)一步給出了一套建模過程的步驟以及每一步的分析方法。

本書是從中國人民解放軍信息工程大學(xué)信息工程學(xué)院近十幾年來在國際和國內(nèi)大學(xué)生數(shù)學(xué)建模競賽中獲獎(jiǎng)的論文中精選出19篇進(jìn)行加工整理編輯而成的。截止到2006年，解放軍信息工程大學(xué)信息工程學(xué)院在國際和全國大學(xué)生數(shù)學(xué)建模競賽中獲得一等獎(jiǎng)24項(xiàng)、二等獎(jiǎng)30項(xiàng)。本書重點(diǎn)選擇了近幾年*有代表性的論文。每篇論文都按照競賽論文的寫作要求，

本書通過實(shí)例介紹了常用的初級(jí)數(shù)學(xué)建模方法，包括預(yù)測預(yù)報(bào)方法（回歸分析、信息時(shí)間傳遞、馬爾可夫鏈、灰色系統(tǒng)、神經(jīng)網(wǎng)絡(luò)預(yù)測）、關(guān)聯(liá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)、方差

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

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

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

本書是作者在新加坡國立大學(xué)、北京大學(xué)和中國科學(xué)院大學(xué)為本科高年級(jí)學(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)典

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

本書匯集GMAT官方解析2015、2016、2017版的所有閱讀題材，從具體內(nèi)容來講1.以Prep為藍(lán)本，幫助考生了解“標(biāo)準(zhǔn)化考試”；2.對開排版，適應(yīng)機(jī)考；3.在語境中背單詞，掃除理解障礙；4.精選長難句，提升閱讀理解能力；5.套路題型，快速有效；6.框架結(jié)構(gòu)，一覽重點(diǎn)；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é)的研究都將有很大的推動(dòng)。新版重新撰寫了第十二章。

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

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

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

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

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

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

本教材將理論建模與實(shí)踐教學(xué)融入一體，將數(shù)學(xué)模型的建立與數(shù)學(xué)模型的求解完整的結(jié)合在一起。在理論建模方面加強(qiáng)了問題的分析部分；介紹了常用的數(shù)學(xué)模型求解方法，并結(jié)合實(shí)例進(jìn)行有針對性的講解；還介紹了常用的兩種數(shù)學(xué)軟件以及這兩款軟件在相應(yīng)問題中的具體應(yīng)用方法，為學(xué)生解決實(shí)際問題提供了簡便的計(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)系，論述深入淺出，讀來令人興味盎然。全書有大量習(xí)

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