本书作为高等院校理工科专业基础教材,主要内容包括复变函数基本理论以及复变函数在弹性理论和线弹性断裂力学中的应用。全书共分为8章:前6章主要介绍了复变函数的基本理论,包括复数与复变函数、解析函数、复变函数的积分、级数、留数和共形映射;第7章、第8章分别介绍了复变函数在弹性理论和线弹性断裂力学中的应用;附录中介绍了复变函数

本教材是专门为高等学校数学专业的基地班或实验班编写的。主要内容有行列式、线性方程组、n维向量空间与线性方程组解的结构、矩阵、从数域到一般域、多项式理论、线性空间、线性变换、欧氏空间、双线性函数与二次型。与常见的教材相比，本教材提升了一些教学内容的高度，增加了部分作业习题的难度，留出了适度自主学习的余地。在内容取舍何写法

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

本书是基于作者多年来为本科生、硕士研究生讲授组合分析方法及应用课程的讲义与作者的研究成果编写而成。全书系统介绍组合数学的存在性和计数两大组合分析领域的主要理论、方法及其应用，共八章，内容包括鸽巢原理及其应用、排列与组合及二项式系数、容斥原理及其应用、生成函数与递归关系、二阶线性齐次递归序列、组合序列及其性质、组合反演公

本书分11章，内容涉及数学建模简介、Python编程基础与科学计算、常微分方程及差分方程方法、偏微分方程、插值与拟合方法、**化方法、图论方法、排队论、回归分析、因子分析、时间序列预测分析方法。第3—11章每章先给出历史沿革，然后进行方法简介，最后结合实例讲解建模方法，配合数学软件的介绍和使用，加强建模求解过程的基本训

本书深入贯彻近年职业教育有关指示批示和重要文件精神，基于高职教育的实际情况和本课程教学要求，基于"数专结合”理念，以服务高职院校航空专业群（含通用航空航务技术、无人机应用技术、通用航空器维修、空中乘务等专业）教学需求为导向，内容体现思想性、科学性、基础性、职业性、时代性，体现学科知识与航空行业应用场景的融合，对数学概念

本书在全面归纳考研数学30余年所有真题（包含数学一、二、三）的基础上，进行题型归纳与总结，进而将多道真题精华融合成为一道试题，方便读者快速、系统、有深度地学习考研数学往年真题。本书共分为3篇：第1篇（专题1~50）为高等数学部分，着重介绍极限、微积分等知识在真题中的考查形式；第2篇（专题51~64）为线性代数部分，着重

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

本书系第五版，可供高等院校工科类、经济管理类以及大部分理科(例如力学、信息与科学计算专业)作为常微分方程教材或供准备参与数学建模竞赛、考研的学生参考.全书共分五章：初等积分法，线性微分方程，线性微分方程组，稳定性与定性理论初步，差分与差分方程.各章配有习题并附答案，个别习题还有提示，书末有三个附录：常微分方程组初值问

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