-
分数阶系统高阶逻辑形式化验证
¥111.8(7.5折)定价:¥149.0本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式,即允许微积分方程中对函数的阶次选择分数,而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具,它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种,它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化
-
数值计算——方法与应用
¥56.3(7.5折)定价:¥75.0本书以MATLAB为工具,以实际问题数学模型的建立与求解为案例,介绍数值计算方法及其在实际问题中的应用。主要内容包括:MATLAB的基本操作、误差分析、曲线插值与曲面插值、曲线拟合、数值积分与数值微分、特征值与特征向量的计算、线性方程组的数值解法、非线性方程(组)的数值解法、常微分方程(组)的数值解法、综合案例讲解等。在每章方法讲解之后均附有相关应用案例分析及练习题,旨在通过理论讲解和实验操作,使学生了解和掌握数值计算中的基本概念、基