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

本书围绕分子结构解析和材料表界面研究，分九章系统介绍与之相关的各种先进仪器分析方法，包括质谱分析法、一维核磁共振波谱分析法、二维核磁共振波谱分析法、红外和拉曼波谱分析法、紫外和分子荧光波谱分析法、X射线衍射分析法、X射线光电子能谱分析法、表面显微分析法。对于每种方法的发展史、基本原理、常用概念、主要测定技术、测试影响因

《AnsysWorkbench2022中文版有限元分析从入门到精通》针对以Ansys2022版本，对AnsysWorkbench分析的基本思路、操作步骤、应用技巧进行了详细介绍，并结合典型工程应用实例详细讲述了AnsysWorkbench的具体应用方法。全书共13章，第1～4章为操作基础，详细介绍了AnsysWorkb

本书一共包括四套冲刺卷,每套卷的题型严格按照新考研数学大纲编排,高数:选择题1-4题,填空题11-14题,解答题17-20题;线代:选择题5-7题,填空题15题,解答题21题;概率论与数理统计:选择题8-10题,填空题16题,解答题22题。分数严格按照考研大纲进行分配。

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

本书1999年第一版，2016年第二版，是国内第一本系统介绍概率极限理论经典成果和方法的著作，内容包括：独立和经典极限定理，概率测度弱收敛，鞅论，Wiener过程的样本路径性质，Banach空间值随机变量的概率理论等内容。本书既介绍了经典概率极限理论的基本内容，也简要地介绍了现代概率极理论的主要结果，包含独立和理论、测

本书内容包括以下七个部分：度量空间、赋范线性空间与巴拿赫空间、有界线性算子和连续线性泛函、内积空间与希尔伯特（Hilbert）空间、巴拿赫空间中的基本定理、线性算子的谱理论、Moran测度空间上傅里叶基的存在性。本书既可作为开设泛函分析必修课或选修课的教材，又可作为报考研究生学生的学习指导书，同时也可作为教师的教学参考

本书是中国石油大学（北京）理学院组织编写的《高等数学（上册·富媒体）》的同步练习，其内容包括函数、极限与连续，导数与微分，微分中值定理和导数的应用，不定积分，定积分，微分方程。题型丰富，难度由浅入深，通过同步练习，有助于提高学生的数学解题能力。本书可作为《高等数学（上册·富媒体）》的教学辅导

本书是根据《高职高等数学课程标准》编写的高职公共基础课程《高等数学》教材，内容包括函数极限与连续、导数及其应用、积分及其应用、多元函数微积分、常微分方程及其应用、无穷级数六个章节，本教材不仅为专业课的学习奠定基础，为学生进一步升本打下基础，而且每一章节还融入了数学文化内容，将课程思政落实到教材。本教材渗透数学思想，融入

大学数学是高等学校教学计划中必不可少的重要基础理论课，本教材内容涵盖了高等学校教学计划中基本数学课程的全部内容。全书分为三篇，第一篇：微积分，具体内容包括函数极限连续性、微分学、不定积分、定积分、微分方程；第二篇：线性代数，具体内容包括行列式、矩阵、线性方程组；第三篇——概率论与数理统计，具体内容包括随机事件与概率、随