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

本书根据编者多年来讲授大学数学课程的讲义编写而成，分上、下两册。上册内容为函数极限与连续、一元函数的导数和微分、一元函数微分学的应用、一元函数的积分学、定积分的应用、微分方程、常数项级数，共七章；下册内容为行列式、矩阵及其运算、矩阵的初等变换与线性方程组、向量组的线性相关性、方阵的特征值与对角化、概率论的基本概念、随机

本书是《概率统计引论（第二版）》（魏立力等编著）的配套辅导书，共分9章47节，除5.1节外，每1节都包括了4部分内容：内容概要——主要概念与结论的图谱；有问有答——对有关内容可能会产生的疑问及解答；内容进阶——相关内容的注释、补充和引导；习题详解——原《引论》每一道习题的详细解答。

"为满足高等职业院校新的教育教学改革的需要，根据不同专业对数学内容提出的要求，编者对高职数学课程进行新的课程改革，编写了本教材。 本书主要内容包括初等数学、电工基础数学、一元函数的微积分四部分。其中，初等数学部分包括数的运算、线性方程组及其解法、一元二次方程及其解法，电工基础数学部分包括三角函数及其应用、复数及其应用

"本教材以工科专业背景为依托，将数学知识与专业、生活、人文、思政等元素相结合。涵盖函数、极限与连续、导数及其应用、微分方程及其应用、不定积分、定积分及其应用、广义积分及其应用、拉普拉斯变换、无穷级数与傅里叶变换、空间向量与解析几何、多元函数微积分及其应用等知识点。全书共分八个章节，第一章以对工件平滑度的检测为切入点，引

本书从普通读者的认知角度出发，共7章，以量子概念的诞生为起点，讲述了20世纪物理学家思想论战的故事，关于量子科学百年探索；以量子科技的发展为主线，介绍了微观世界量子力学的基础理论，量子力学的发展过程，量子在宏观世界中的应用（量子计算、传感器、量子通信、密钥等）；阐述了量子力学的商业化与引发的科技革命，以及对于量子科学的

本书根据高等职业教育经济管理类专业的高等数学（经济数学）基础课程教学基本要求，结合编者多年教学实践，综合编者长期教学改革和探索进行编写，力求体现高等职业教育经济管理类专业的特点，体现数学素养和数学应用能力的培养。本书共八章，内容包括函数与极限、导数、导数的应用、不定积分、定积分、定积分的应用、向量与空间解析几何初步、线

本书详细介绍了ANSYS公司的有限元分析平台Workbench2022的应用。通过本书的学习，读者不仅能掌握软件的基本操作，还能提高解决实际问题的能力。全书共13章，第1章以各个分析模块为基础，介绍ANSYSWorkbench2022的界面、启动菜单设置及与常见CAD软件集成等内容。第2章～第13章以项目案例为指导，主

本书分为上下两部分，上部分系统性地介绍了100个常见的物理概念，涵盖宇宙学、量子力学、热力学等，是简单易读的物理学入门读物，其中没有复杂的数学公式，读者可以轻松上手。下部分是关于物理学思维的内容。学习物理知识关键是习得它背后的思考方式。物理对人们世界观的改变是巨大的，所以作者选取了一些对自己有触动的话题放在书中，比如什

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