本書集中研究邏輯代數(shù)上濾子理論和算子代數(shù)上可導映射，主要是作者近年研究工作的總結(jié)，同時也介紹了與之相關的國內(nèi)外眾多學者的**成果。全書共7章，涉及兩大部分的內(nèi)容:*部分(第1—4章)邏輯代數(shù)上的濾子理論，主要研究剩余格上各種濾子的系統(tǒng)結(jié)構，獲得這些濾子間相互等價的條件，建立邏輯代數(shù)上濾子的表示理論；第二部分(第5—7章
本書揭示了數(shù)學模型與其相應客觀系統(tǒng)間空間實質(zhì)的差異，建模中從非量到量的映射實質(zhì)和空間轉(zhuǎn)換；論證了模型的近似性與精確性的實質(zhì)及其關系，數(shù)學模型的非**性及其一般原理；給出了數(shù)學建模中公理化理論及公理化方法，數(shù)學模型的系統(tǒng)論本質(zhì)認識；*后，在上述理論的基礎上，進一步給出了一套建模過程的步驟以及每一步的分析方法。
本書是從中國人民解放軍信息工程大學信息工程學院近十幾年來在國際和國內(nèi)大學生數(shù)學建模競賽中獲獎的論文中精選出19篇進行加工整理編輯而成的。截止到2006年，解放軍信息工程大學信息工程學院在國際和全國大學生數(shù)學建模競賽中獲得一等獎24項、二等獎30項。本書重點選擇了近幾年*有代表性的論文。每篇論文都按照競賽論文的寫作要求，
本書通過實例介紹了常用的初級數(shù)學建模方法，包括預測預報方法（回歸分析、信息時間傳遞、馬爾可夫鏈、灰色系統(tǒng)、神經(jīng)網(wǎng)絡預測）、關聯(lián)分析方法（簡單相關系數(shù)、偏相關系數(shù)、通徑分析、典型相關分析、主成分分析、斯皮爾曼等級相關系數(shù)、獨立性檢驗）、綜合評價與決策方法（模糊綜合評價、主成分綜合評價、因子分析、層次分析法、灰色關聯(lián)、方差
本書給出了幾個著名悖論特別是說謊者悖論的解答。作為預備，討論了悖論的由來和機理，特別是悖論與反證法的關系。
本書的創(chuàng)新之處在于把謂詞抽象的思想應用于邏輯和哲學兩個領域的研究。在邏輯領域，通過引入謂詞抽象這一具體的技術，突破了模態(tài)邏輯領域Herbrand定理研究的難題，從而為模態(tài)自動定理證明提供了理論基礎。在哲學領域，通過將謂詞抽象思想應用于相關哲學問題的研究，延續(xù)了哲學研究中的邏輯分析傳統(tǒng)。
優(yōu)勢關系粗糙集以優(yōu)勢關系代替了經(jīng)典粗糙集的不可分辨關系，更好地滿足了描述實際問題中某些屬性具有偏序關系和連續(xù)屬性的需要。優(yōu)勢關系粗糙集既可以有效處理等價關系又可以處理具有偏序關系的決策信息系統(tǒng)，現(xiàn)已成為處理不確定信息的一個很重要的理論模型，受到越來越多的學者的關注。本書集結(jié)了作者近年來在該領域的研究成果，從變精度模型、
本書是作者在新加坡國立大學、北京大學和中國科學院大學為本科高年級學生開設的數(shù)理邏輯選修課和在新加坡國立大學、中國科學院數(shù)學與系統(tǒng)科學研究院為研究生開設的專業(yè)課程所寫講義基礎上整理出來的結(jié)果。本書主要由一階邏輯的核心內(nèi)容和有關數(shù)的邏輯探索和分析兩大部分組成，其中包括完備性、緊致性、同質(zhì)縮小、型省略等基本定理；有關數(shù)的經(jīng)典
本書敘述了與計算機科學有緊密聯(lián)系并且相互之間又有聯(lián)系的數(shù)理邏輯基礎性內(nèi)容，包括經(jīng)典邏輯和非經(jīng)典邏輯中的構造性邏輯和模態(tài)邏輯。本書在選材時考慮了邏輯系統(tǒng)的特征，并且適應計算機科學的要求。本書研究各種邏輯的背景、語言、語義、形式推演，以及可靠性和完備性等問題。本書大部分章節(jié)附有習題。
本書匯集GMAT官方解析2015、2016、2017版的所有閱讀題材，從具體內(nèi)容來講1.以Prep為藍本，幫助考生了解“標準化考試”；2.對開排版，適應機考；3.在語境中背單詞，掃除理解障礙；4.精選長難句，提升閱讀理解能力；5.套路題型，快速有效；6.框架結(jié)構，一覽重點；7.結(jié)合技巧，解析題目；8.總結(jié)規(guī)律，舉一反三
本書是國內(nèi)迄今最全面系統(tǒng)地介紹悖論問題的著作，作者將從古至今五花八門的悖論分成十二類，詳細介紹每一類悖論的歷史原型、各種變體、邏輯學家的解決方案、與日常生活的關系等等。作為國內(nèi)著名的邏輯學家，作者展示了多年來在這一領域探索的成果，對于國內(nèi)外相關領域的邏輯學的研究都將有很大的推動。新版重新撰寫了第十二章。
本書由長期從事應用數(shù)學和數(shù)學建模教學并有著豐富教學經(jīng)驗的教師完成，這些案例有的來自他們的實際課題，有的根據(jù)他們了解的實際背景資料和現(xiàn)成的數(shù)學模型做了精心改編，內(nèi)容涉及工程、管理、信息、醫(yī)療、經(jīng)濟、社會等領域的實際問題�？勺鳛楣た圃盒＠怼⒐�、農(nóng)、林、醫(yī)、經(jīng)管等專業(yè)數(shù)學建模課程的教材，也可作為數(shù)學建模競賽的輔導材料，還可作
本書集成了兩個方面的內(nèi)容：數(shù)學建模應用與實踐導引，全國研究生數(shù)學建模競賽導引。書中既編入了數(shù)學建模應用實踐與全國研究生數(shù)學建模競賽的相關指導性文件，論文寫作方法，又編入了編著者多年來指導學生參加數(shù)學建模應用實踐與全國數(shù)學建模競賽活動所關注的多方面問題的建模應用研究成果，內(nèi)容涉及教育，城市交通，水資源節(jié)約，旅游，植物生長
許多社會學、經(jīng)濟學、金融學、管理學等領域的問題，在分析建模過程中往往單一模型描述并不能達到很好的效果。隨著現(xiàn)代經(jīng)濟社會的發(fā)展，面對的問題越來越復雜，如何有效地表達問題的內(nèi)在關系成為求解者面臨的首要任務，而多方法建模是解決上述問題的有效方法。本書內(nèi)容包括：基本的建模原理、離散事件系統(tǒng)建模、動力學系統(tǒng)建模、多智能體系統(tǒng)建模
作者根據(jù)多年的數(shù)學建模教學與競賽輔導的經(jīng)驗編寫本書，內(nèi)容包含了初等模型、規(guī)劃模型、隨機模型、統(tǒng)計模型、圖論、模糊數(shù)學、灰色預測以及Matlab的使用簡介等，同時引入近年的競賽實例進行案例分析，從而增強模型的實用性。
楊海龍著的《雙論域粗糙集理論與方法》系統(tǒng)研究雙論域上的粗糙集理論與方法，包括單論域粗糙集的基本理論、雙論域上的粗糙集模型的變換、雙論域上基于水平集的粗糙集、雙論域上的概率粗糙集、雙論域上的多粒度粗糙集與多粒度概率粗糙集、雙論域上的多粒度決策粗糙集等理論及方法。 本書可供高等院校數(shù)學、計算機科學、信息科學、自動化、管理
不確定性推理的計量化模型及其粗糙集語義
本教材將理論建模與實踐教學融入一體，將數(shù)學模型的建立與數(shù)學模型的求解完整的結(jié)合在一起。在理論建模方面加強了問題的分析部分；介紹了常用的數(shù)學模型求解方法，并結(jié)合實例進行有針對性的講解；還介紹了常用的兩種數(shù)學軟件以及這兩款軟件在相應問題中的具體應用方法，為學生解決實際問題提供了簡便的計算機手段。教材在選用案例方面，注重案例
《數(shù)學與猜想第二卷合情推理模式（數(shù)學名著譯叢）》是《數(shù)學與猜想》的第二卷。這一卷系統(tǒng)地論述了合情推理的模式，評述它們彼此之間以及與概率計算的關系，并扼要地討論了它們與數(shù)學發(fā)現(xiàn)及教學的關系�！稊�(shù)學與猜想第二卷合情推理模式（數(shù)學名著譯叢）》將數(shù)學中的推理模式與生活中的實例相聯(lián)系，論述深入淺出，讀來令人興味盎然。全書有大量習
本書是著名數(shù)學家G.波利亞撰寫的一部經(jīng)典名著，書中討論的是自然科學、特別是數(shù)學領域中與嚴密的論證推理完全不同的一種推理方法——合情推理（即猜想）。本書通過許多古代著名的猜想，討論了論證方法，闡述了作者的觀點：不但要學習論證推理，也要學習合情推理，以豐富人們的科學思想，提高辯證思維能力，本書的例子不僅涉及數(shù)學各學科，也涉
書單推薦
