本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是

上海大学理学院数学系，成立于1960年，其前身是上海科技大学数学系，由嘉定校区的数学系和延长校区、徐汇校区、嘉定东校区的数学教研室合并而成，本书主编为杨建生。杨建生，基础数学博士，上海大学数学系教授。《微积分强化训练题》（第三版）是2015年上海普通高校优秀本科教材《高等数学（上、下）》(上海大学数学系编，高等教育出版

本书分为复变函数和积分变换两部分：复变函数部分包括复数与复变函数、解析函数、复变函数的积分、解析函数的级数理论、留数；积分变换部分包括傅里叶变换和拉普拉斯变换等。本书每章末都配有思维导图和精选习题,方便读者复习掌握和检验学习效果。除此以外，书中还设计了数学家简介、数学实验等版块，以增强数学底蕴,提高学习兴趣。本书中性质

本书内容包括偏微分方程的基本概念，数学物理方程相关的背景，数学模型的建立与定解问题，定解问题的典型求解方法(求通解方法、行波法、分离变量法、积分变换法、格林函数法以及数值求解法)。另外还介绍了勒让德多项式、球函数和贝塞尔函数在求解定解问题时的应用。

本书共分为6章，主要内容包括线性正则变换背景简介、线性正则变换的定义与基本原理、二维线性正则变换理论及其应用、线性正则变换域的时频分析、线性正则变换域雷达信号的参数估计、线性正则变换在ISAR成像中的应用。

本书内容包括函数、极限与连续、导数与微分、微分中值定理与导数的应用、不定积分、定积分、多元函数微积分、无穷级数、微分方程初步等。各节后配有适量的习题，书末附有习题答案，便于教学。本书内容丰富，条理清楚，重点突出，难点分散，例题较多，在内容取舍上既注重了微积分在传统领域中的知识内容，又加强了它在经济应用中的内容介绍。

让数学问题变得有趣的探索猜想故事书。暑假里，劳拉和汤姆姐弟不知道该如何打发“无穷多”的无聊的时间。突然，他们产生了很多疑问：无穷大是什么？1后面有100个0该怎么念？“无穷”是不是有很多种的形式？还有很多关于数学极值的问题……姐弟两带着问题，去询问了天才数学家，中学数学老师和计算机达人。他们都用自己的方法，从自己

本书对重要的概念和定理做了较多的背景和思路的说明，对很多核心定理的证明既注重直观又注重严谨。全书共分4章，具体内容包括：集合的基本概念、集合的运算、集列的极限、映射、可列集等。

本书分为代数不等式研究，三角、几何不等式研究，不等式证明方法研究，考研不等式试题研究，争鸣，问题与猜想六个部分，收录了《正项等差数列与组合数生成的一类新不等式》《关于三角形的一些线性不等式》《PQR方法中关于R上限的一个优化及应用》等文章。

本书主要围绕欧氏空间Rn(n3)中极小曲面上的值分布理论及相关研究展开讨论,主要内容包括极小曲面上Gauss映射的Picard定理、新型亏量关系、分担唯一性、曲面的曲率估计等.本书从构造度量的角度出发,分析和介绍了极小曲面的几何特征,将极小曲面上Gauss映射的值分布性质考虑到更一般的浸入调和曲面的情形.本书还给