本书集中研究逻辑代数上滤子理论和算子代数上可导映射，主要是作者近年研究工作的总结，同时也介绍了与之相关的国内外众多学者的**成果。全书共7章，涉及两大部分的内容:*部分(第1—4章)逻辑代数上的滤子理论，主要研究剩余格上各种滤子的系统结构，获得这些滤子间相互等价的条件，建立逻辑代数上滤子的表示理论；第二部分(第5—7章

本书揭示了数学模型与其相应客观系统间空间实质的差异，建模中从非量到量的映射实质和空间转换；论证了模型的近似性与精确性的实质及其关系，数学模型的非**性及其一般原理；给出了数学建模中公理化理论及公理化方法，数学模型的系统论本质认识；*后，在上述理论的基础上，进一步给出了一套建模过程的步骤以及每一步的分析方法。

本书是从中国人民解放军信息工程大学信息工程学院近十几年来在国际和国内大学生数学建模竞赛中获奖的论文中精选出19篇进行加工整理编辑而成的。截止到2006年，解放军信息工程大学信息工程学院在国际和全国大学生数学建模竞赛中获得一等奖24项、二等奖30项。本书重点选择了近几年*有代表性的论文。每篇论文都按照竞赛论文的写作要求，

本书通过实例介绍了常用的初级数学建模方法，包括预测预报方法（回归分析、信息时间传递、马尔可夫链、灰色系统、神经网络预测）、关联分析方法（简单相关系数、偏相关系数、通径分析、典型相关分析、主成分分析、斯皮尔曼等级相关系数、独立性检验）、综合评价与决策方法（模糊综合评价、主成分综合评价、因子分析、层次分析法、灰色关联、方差

本书给出了几个著名悖论特别是说谎者悖论的解答。作为预备，讨论了悖论的由来和机理，特别是悖论与反证法的关系。

本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。

优势关系粗糙集以优势关系代替了经典粗糙集的不可分辨关系，更好地满足了描述实际问题中某些属性具有偏序关系和连续属性的需要。优势关系粗糙集既可以有效处理等价关系又可以处理具有偏序关系的决策信息系统，现已成为处理不确定信息的一个很重要的理论模型，受到越来越多的学者的关注。本书集结了作者近年来在该领域的研究成果，从变精度模型、

本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典

本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。

本书汇集GMAT官方解析2015、2016、2017版的所有阅读题材，从具体内容来讲1.以Prep为蓝本，帮助考生了解“标准化考试”；2.对开排版，适应机考；3.在语境中背单词，扫除理解障碍；4.精选长难句，提升阅读理解能力；5.套路题型，快速有效；6.框架结构，一览重点；7.结合技巧，解析题目；8.总结规律，举一反三

本书是国内迄今最全面系统地介绍悖论问题的著作，作者将从古至今五花八门的悖论分成十二类，详细介绍每一类悖论的历史原型、各种变体、逻辑学家的解决方案、与日常生活的关系等等。作为国内著名的逻辑学家，作者展示了多年来在这一领域探索的成果，对于国内外相关领域的逻辑学的研究都将有很大的推动。新版重新撰写了第十二章。

本书由长期从事应用数学和数学建模教学并有着丰富教学经验的教师完成，这些案例有的来自他们的实际课题，有的根据他们了解的实际背景资料和现成的数学模型做了精心改编，内容涉及工程、管理、信息、医疗、经济、社会等领域的实际问题。可作为工科院校理、工、农、林、医、经管等专业数学建模课程的教材，也可作为数学建模竞赛的辅导材料，还可作

本书集成了两个方面的内容：数学建模应用与实践导引，全国研究生数学建模竞赛导引。书中既编入了数学建模应用实践与全国研究生数学建模竞赛的相关指导性文件，论文写作方法，又编入了编著者多年来指导学生参加数学建模应用实践与全国数学建模竞赛活动所关注的多方面问题的建模应用研究成果，内容涉及教育，城市交通，水资源节约，旅游，植物生长

许多社会学、经济学、金融学、管理学等领域的问题，在分析建模过程中往往单一模型描述并不能达到很好的效果。随着现代经济社会的发展，面对的问题越来越复杂，如何有效地表达问题的内在关系成为求解者面临的首要任务，而多方法建模是解决上述问题的有效方法。本书内容包括：基本的建模原理、离散事件系统建模、动力学系统建模、多智能体系统建模

作者根据多年的数学建模教学与竞赛辅导的经验编写本书，内容包含了初等模型、规划模型、随机模型、统计模型、图论、模糊数学、灰色预测以及Matlab的使用简介等，同时引入近年的竞赛实例进行案例分析，从而增强模型的实用性。

杨海龙著的《双论域粗糙集理论与方法》系统研究双论域上的粗糙集理论与方法，包括单论域粗糙集的基本理论、双论域上的粗糙集模型的变换、双论域上基于水平集的粗糙集、双论域上的概率粗糙集、双论域上的多粒度粗糙集与多粒度概率粗糙集、双论域上的多粒度决策粗糙集等理论及方法。 本书可供高等院校数学、计算机科学、信息科学、自动化、管理

不确定性推理的计量化模型及其粗糙集语义

本教材将理论建模与实践教学融入一体，将数学模型的建立与数学模型的求解完整的结合在一起。在理论建模方面加强了问题的分析部分；介绍了常用的数学模型求解方法，并结合实例进行有针对性的讲解；还介绍了常用的两种数学软件以及这两款软件在相应问题中的具体应用方法，为学生解决实际问题提供了简便的计算机手段。教材在选用案例方面，注重案例

《数学与猜想第二卷合情推理模式（数学名著译丛）》是《数学与猜想》的第二卷。这一卷系统地论述了合情推理的模式，评述它们彼此之间以及与概率计算的关系，并扼要地讨论了它们与数学发现及教学的关系。《数学与猜想第二卷合情推理模式（数学名著译丛）》将数学中的推理模式与生活中的实例相联系，论述深入浅出，读来令人兴味盎然。全书有大量习

本书是著名数学家G.波利亚撰写的一部经典名著，书中讨论的是自然科学、特别是数学领域中与严密的论证推理完全不同的一种推理方法——合情推理（即猜想）。本书通过许多古代著名的猜想，讨论了论证方法，阐述了作者的观点：不但要学习论证推理，也要学习合情推理，以丰富人们的科学思想，提高辩证思维能力，本书的例子不仅涉及数学各学科，也涉