本书包含一阶数理逻辑的基本核心内容， 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、形式系统的一般理论、 模型论、 递归函数和图灵机、哥德尔不完全性定理、递归论等。 可分别作为计算机科学和数学专业的本科生和研究生教材。 也可供相关科技工作者参考。

本书主要介绍了一类基于线性化多项式的置换多项式，Helleseth和Zinoviev*先使用这类多项式研究Kloosterman和恒等式，Yuan和Ding率先提出研究这类置换多项式的构造。本书分别从这类置换多项式的指数满足同余式、具有分数形式和基于多个线性化多项式等方面研究了这类置换多项式的构造，多项式置换性质的证明主要借助有限域上方程解数的确定和AGW准则的运用等。

本书共十章。第一章阐述非参数统计的特点，第二章讲解描述性统计方法，第三、四章分别讲解符号检验法、符号秩和检验法，第五到八章分别讲解两样本、多样本和区组设计等问题以及相关分析的非参数统计方法，第九章讲解非参数密度估计和非参数回归，第十章讲解检验的渐近相对效率。本书结合统计软件和案例分析讲解非参数统计的理论与方法，可以作为统计专业的教学用书，也适宜于社会学、心理学、人口学、医学、教育学及生物学等学科的研究和应用的人士阅读，作为这些学科的教学用书。

本书内容是几何分析领域优秀的科研工作者所写的综述性报告，文章汇报了几何分析领域的前沿热点。.。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。

本书系统介绍了细水雾（Watermist）发生方法、雾特性实验测量方法，以及细水雾灭火、抑爆、除尘、热防护等方面的基础研究和工程应用的*新进展、发展趋势和面临的挑战。全书既涉及相关理论分析和实验模拟测试，又有模型构建与验证，还包含国内外主要标准和规范，是对目前世界上细水雾基础研究和技术发展概况及前沿热点的全面阐述和展望。

线性模型是现代统计学中一类重要的模型，广泛地应用于经济，金融，生物、医学和工程技术等领域。在该模型的建模分析中，统计学家主要研究模型的参数估计理论，假设检验以及未来观察值的预测等统计推断问题。相比较，参数的假设检验以及未来观察值的预测问题研究更多的依赖于参数估计的结果。因此，模型的参数估计理论在整个建模分析过程中起到重要的作用，得到统计学家的高度重视。一方面，需要研究模型的参数估计理论和方法，并对各种估计的优良性进行分析；另一方面，需要基于模型参数估计结果对未来观察值的预测方法进行研究。本书围绕厚尾分布下线性模型中若干参数估计方法，基于统计决策理论对它们的优良性进行分析，便于人们合理的选择各种估计方法，同时分别基于统计决策理论和贝叶斯分析思想探讨有限总体的*优预测，可容许预测和贝叶斯预测。

本书主要讲述与Lévy过程驱动的倒向随机微分方程相关的随机控制和金融问题。主要包括：一类Lévy过程相关的Teugel鞅和独立布朗运动联合驱动的倒向随机微分方程、单反射和双反射障碍的倒向随机微分方程的解和比较定理，倒向随机偏微分方程解的存在**性定理，反射带时滞的倒向随机微分方程的解，以及解的存在**性；Lévy过程驱动的金融市场中的幂效用*大化问题

暂缺简介...

本书的**个目的是对行波解的分类和对奇异非线性行波方程所产生的峰、周期峰、伪峰和紧子的概念进行更系统的解释。从奇异摄动理论的动力系统和思想，我们证明周期性峰是行波系统的两个时间尺度光滑经典解。PeaKon是下限意义下的极限解：（i）在固定参数条件下，Peaon是一类周期性Peaon解的一个极限解；（ii）具有可变参数的Peaon是一个伪Pekon族的限制解。我们注意到，一个可积的非线性偏微分方程（非线性波动方程）的行波系统通常是一个可积的常微分方程组。因此，行波系统的相位轨道引起波函数的轮廓，并且行进系统的不同相位轨道引起波函数的不同轮廓。如果可能的话，这样的非线性行进系统，因为这些解析解对于理解波函数的性质是有用的。本书的第二个目的是引入动力系统方法寻找更具物理意义的可积系统的精确解。

本教材试图从工科的角度介绍随机过程的基本概念和方法内容，特点是阅读的起点相对较低，使读者能够在较短的时间内了解随机过程的基础知识和主要内容，首先对于随机过程的基本思想进行详细的介绍，随后选择几种重要的随机过程进行重点介绍，而对于涉及较深数学知识的内容列出文献，便于感兴趣的读者进行追踪学习。