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

《数学实验：基于MATLAB软件》主要以MATLAB软件为实验平台，介绍了基本数学理论的计算机实现，以及基于数学模型、MATLAB软件等的实际应用。本教材可用于各高等院校开设的数学实验课程。《数学实验：基于MATLAB软件》在介绍数学实验基本思想和MATLAB软件入门知识后，依据主干课程数学内容，将数学方法和程序实现相

本书根据高等学校理工科本科专业高等数学课程的教学基本要求，结合国家质量工程培养应用型人才的指导思想，借鉴多年的教学实践及近几年的考研大纲编写而成。本书结构严谨、逻辑清晰、概念准确，在内容上力求适用、简明、易懂；在例题的选择上力求具有层次性、全面性和典型性，注重理论知识与实际应用相结合，增加生活和工程技术应用相关的知识以

《高等数学学习指导与技能训练/高等职业教育十三五移动学习型规划教材》是与教材《高等数学》配套的学习辅助资料。各章内容由知识点归纳、习题、本章小结、检测题等组成。《高等数学学习指导与技能训练/高等职业教育十三五移动学习型规划教材》一方面能帮助学生从总体上梳理和把握知识脉络，明确学习重点和教学基本要求，做到学习起来心中有数

《高等数学/高等职业教育“十三五”规划新形态教材》的主要内容包括函数、极限与连续，导数与微分，导数的应用，不定积分，定积分及其应用，微分方程，无穷级数，多元函数微分学及其应用，二重积分及其应用，每章均配有MATLAB数学实验。编写时作者充分考虑到了高等职业教育的特点与学生的实际情况，以及对人才培养目标的要求，参考并吸取

本书总结了作者近十年来在有限元逐点超收敛研究方面取得的重要研究成果，全书共分六章。第一章是预备知识，主要介绍一些常用的记号和导出本书主要结论需要用到的引理和定理。第二章介绍多维投影型插值算子和多维有限元的插值基本估计（即所谓的弱估计）。第三章介绍多维离散格林函数与多维离散导数格林函数及其估计，它是本书的核心内容。第四章

在第一章中介绍Lipschitz曲线上的Fourier乘子理论，主要介绍一维无穷曲线上的Fourier乘子、奇异积分和泛函演算理论；第二章主要介绍单位圆的Lipschitz扰动上Fourier乘子理论以及相关问题的研究。第三章主要介绍用Clifford分析的背景知识。第四章和第五章则主要着眼于阐述利用Clifford分

本卷收录了吴文俊的《数学机械化》一书.本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述.本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动.全书分成三个部分：第一部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史.第二部分给出求解多项式方程组

本书主要内容是对电磁学领域的最重要的公式麦克斯韦公式，从各个角度如适量分析、平面波、波导传输模式、电磁波辐射、金属球散射、半平面内导体散射等领域进行分析和解读，以帮助高校理工科学生以及科研人员更好的理解麦克斯韦方程。

本书介绍了变指数函数空间在偏微分方程上应用的一些最新进展,主要内容包括:次临界增长的-Laplace方程弱解的存在性,集中紧致性原理与临界增长的-Laplace方程弱解的存在性,-Laplace半变分不等式问题解的存在性,具-增长的障碍问题解的存在唯一性,变指数增长的椭圆方程组解的存在性与多重性,变指数增长的抛物方程的