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

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

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

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

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

本书是根据教育部卨等学校大学数学课程教学指导委员会制定的非数学专业“髙等数学”课稈教学基本要求，参考了全国大学生数学竞赛非数学类竞赛大纲和全国硕士研究生入学考试数学考试大纲的内容和要求，并结合了作者的“卨等数学”慕课，精心制作完成的数字化新形态教材，读者可以扫描二维码学习相关资源。《BR》本书层次清晰，结构严谨，内容充

"本书是普通高等教育“十五”国家级规划教材。全书共分为六章，各章内容分别为：初等积分法，线性方程，常系数线性方程，一般理论，定性理论，一阶偏微分方程。在各章节之后都配备了一定数量的习题。本次修订增加了传染病模型、索洛经济增长模型和RLC电路系统，周期系数线性方程组的弗洛凯理论，格林函数和特征值问题，以及首次积分的一些内

本教材是根据教育部要求和高职高专教育信息化、数字化的时代要求，结合最新的课程改革理念和教学改革成果编写而成的新形态教材．本教材融入课程思政、数学建模案例与数学软件MATLAB的使用，可体现高职高等数学课程的思想性、科学性、实用性，从知识、能力、素质等方面全面培养学生的数学综合素养．本教材通俗易懂，具有注重应用、融入课程

椭圆曲线密码体制（ECC）是当前主流的公钥密码体制，该体制的安全核心是椭圆曲线离散对数问题（ECDLP）。本书首先对椭圆曲线离散对数及其相关问题，以及它们之间的相互关系进行了探讨，然后主要介绍了椭圆曲线离散对数问题的计算方法，包括通用的平方根算法及其改进、特殊椭圆曲线离散对数的计算方法、指标计算方法的努力、归约到NPC

本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。