莱布尼兹和牛顿关于微积分优先权的争论闻名整个学术界，甚至是学术界之外。现在，学术界公认，莱布尼兹和牛顿分别独立地创立了微积分，只是牛顿先发明，莱布尼兹先发表。但这场争论在牛顿、莱布尼兹所生活的时代，甚至在他们去世后的很多年都很激烈，中间也发生了很多趣事。本书既包含了莱布尼兹创建微积分的过程，也包含了莱布尼兹在微积分优先权争论期间为自己做出的申辩，从中可以了解他创建微积分的过程以及这场争论发生的部分缘由和过程。另外，中译版本中还增加了大量插图，具有很强的可读性。

本书针对非凸变分不等式投影类方法中客观存在的错误，给出修正的理论结果，进而利用投影技术研究上述正则非凸变分不等式与不动点问题、变分包含问题之间的正确关系，从而建立正则非凸变分不等式和不动点问题之间的等价性。利用这种等价性来讨论正则非凸变分不等式的解的存在性，并且利用这等价替代形式来构造解正则非凸变分不等式的投影类迭代算法。通过理论证明迭代算法在一定条件下是收敛的。此外，本书从力学问题引入拟定常变分不等式思路和原理, 建立具时滞拟定常变分不等式及非凸变分不等式的数学模型, 进而运用非凸分析中近似法

本书主体内容大致分为四个部分：第3-5章介绍了凸性、计算模型和凸优化的高效性概念以及对偶性；第6-8章分别介绍了梯度下降法、镜像下降法和乘性权重更新法以及加速梯度下降法等一阶方法；第9-11章介绍了牛顿法和线性规划的各种内点法；第12章和第13章介绍了用于线性规划和一般凸规划的椭球法等割平面方法。另外，第1章通过讲述连续优化和离散优化之间的相互作用的简要历史来概述本书：探索离散问题的快速算法如何推动凸优化算法的改进。

本书引进的改进傅里叶级数，是在闭区间上可以一致收敛地逼近任意形式的拟光滑函数的级数。本书给出了：变系数线性常微分方程的通用求解方法（这里变系数可以是连续函数，也可以是间断的函数）；对具有各阶奇异点的奇异性方程（正则或非正则）给出了求解的原则；对几种常见的奇异常微分方程给出了详尽的求解过程和计算算例；完满地求解了两个典型的海洋动力学问题（海洋内波与地形的相互作用，风场作用下水气界面的稳定性分析）。

整数剩余类环上导出序列，主要介绍环上线性递归序列基础理论、本原序列的权位压缩导出序列的保熵性和模2压缩导出序列的保熵性；第二部分是带进位反馈移位寄存器(FCSR)序列，主要介绍FCSR序列算术表示、有理逼近算法和极大周期FCSR序列的密码性质；第三部分是非线性反馈移位寄存器(NFSR)序列，主要介绍NFSR序列簇的线性结构、NFSR串联结构分解、环状串联结构分析、Galois NFSR的非奇异性等。

上海大学理学院数学系，成立于1960年，其前身是上海科技大学数学系，由嘉定校区的数学系和延长校区、徐汇校区、嘉定东校区的数学教研室合并而成，本书主编为杨建生。杨建生，基础数学博士，上海大学数学系教授。《微积分强化训练题》（第三版）是2015年上海普通高校优秀本科教材《高等数学（上、下）》(上海大学数学系编，高等教育出版社出版)配套辅导书。全书由三个部分组成，分别对应上海大学三个学期教学内容。 第一部分含有13套训练题，涵盖函数极限与连续、导数与微分、微分中值定理及其应用、不定积分与定积

本书是一部系统地介绍Nabla离散分数阶系统理论的专著,其中包含了许多原创性成果和未解问题.针对Nabla离散分数阶系统,本书讨论了其稳定性分析和控制器设计问题,为了便于验证所提理论,还介绍了数值实现方法.本书由浅入深、循序渐进地展开,虽不是字斟句酌的教科书,但所给出的结论均提供了巧妙且严谨的证明,既介绍了灵感来源,提供了文献出处,又对结论的特性和价值进行了剖析,提供了针对性的数值算例.书中所列彩图均可扫描封底二维码进行查看.
本书力求通俗易懂、简洁实用,从问题到方法,从算例到应用,前后呼

本书介绍了移动网格方法的历史和现状，作者根据这几年对移动网格方法的一些研究体会，写成此书。本书研究的移动网格方法要做的就是保持单元或节点数不变而通过重新分布节点位置实现自适应目标。特别地，我们将把动态网格与求解过程结合起来，用最适合求解问题的方式来生成网格，即在解的梯度大的地方网格自动加密，而在解的梯度小的地方网格自动变稀疏，其基本目标是改进计算精度，并使数值误差分布趋于均匀。本书侧重自适应网格技术，在流体计算、相场界面问题、双曲守恒律方程等问题上都有成功的应用。本书易读性强，深入浅出，提供代码

本书系统阐述了逆问题求解的贝叶斯框架原理、方法及其应用。全书分为4个部分，共计14章，主要内容包括逆问题与不适定问题描述、正则化方法、基于概率框架的逆问题求解、解卷积方法、逆问题求解的高级进阶方法以及逆问题在超声波无损检测、大气湍流光学成像、衍射层析、低强度数据成像等领域中的典型应用。

本书以非线性可积系统作为研究对象，以符号计算系统Maple为主要工具，从新的观点出发，对非线性系统求解方法进行深入研究，提供了一些求解非线性系统特别是高维非线性系统的有效方法，主要在孤子理论经典方法的基础上，以目前广泛关注的非线性可积系统为例，扩展原有方法或构建新方法，重点演示了非线性波包括孤子、呼吸子、团块波和怪波的有效求解算法。