本书主要内容有各种环境下粗糙近似算子的构造性定义与公理化刻画，含一般关系下的粗糙集、粗糙模糊集、模糊粗糙集（包括基于三角模的模糊粗糙集、基于模糊剩余蕴涵的模糊粗糙集、基于模糊蕴涵算子的模糊粗糙集、直觉模糊环境下的粗糙集理论），各种粗糙集的拓扑结构、粗糙集与证据理论之间的关系等。本书可作为计算机科学、应用数学、自动控制、

本书旨在引导学生掌握数学实践与建模，以培养学生数学能力（实践能力、创新能力等），同时也旨在将数学工具软件与数学深度融合。本书是在华北水利水电大学数学实践与建模讲义的基础上修改而成，内容包括MATLAB简介及其应用、数学建模与论文写作、数学实践案例、几类常见的数学建模方法、智能算法。在内容编排上，本书精选来自工程、经济、

本书通过实例介绍了在科学研究和数学建模竞赛中常用的数学建模方法，包括主成分回归、岭回归、偏最小工乘回归、向量自回归、logistic回归、Probit回归、响应面回归、线性与非线性规划、多目标规划与目标规划、动态规划、智能优化算法、网络优化、计算机仿真、排队论、微分与差分、数据预处理、支持向量机等方法.全书将数学建模技

面向后件集的模糊推理机制是在模糊集合相互关联的环境下进行的，可以捕获到规则中更多的模糊信息，克服了传统模糊推理会丢失前件集与后件集相关性信息的缺陷，推理结果更加合理。本书详细介绍了面向后件集的模糊推理机制及其应用，包括在Type-1模糊逻辑系统、区间型Type-2模糊逻辑系统和一般型Type-2模糊逻辑系统中的应用，以

鉴于数学建模理论与方法的推广化应用及促进成果的共享与校企的快速合作，作者通过归纳总结过去十几年教学、科研、竞赛及与企业合作经验写成此书。内容安排如下：数学建模与MATLAB基础知识；递归与迭代方法；线性规划问题；整数规划及其MATLAB求解源代码；图与网络优化；统计学中的参数估计、假设检验、方差分析和相关度分析；数据的

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

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

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

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

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