本书专为应用型普通本科高校各专业一学年高等数学课程设计，精准契合应用型普通本科学生的能力结构与学习需求，强调数学知识的实际运用与“产教融合”理念的深度融合.在内容的确定和表述上充分考虑到应用型普通高校本科学生的能力水平、专业需要等实际状况，注重利用数学软件求解高等数学问题的思想，在每章增加利用Python求解高等数学问题，符合培养应用型人才的教学实际;在传授数学知识的同时，基于“产教融合”理念融入相关专业的背景知识和应用案例，是一本特色鲜明、使用面广的高等数学教材.本书分为上、下两册，

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具等内容。

本书是一本抽象代数入门教材，假定读者具备一定的微积分和线性代数基础知识，这些知识对解答习题和例题十分必要。本书深入介绍了群和子群、群结构、同态和商群、高级群论、环和域、环和域的构造、交换代数、域的扩张和伽罗瓦理论等抽象代数入门课程的所有主题。书中有大量的定义和定理，以及对这些理论进行进一步说明的例题。几乎每节都配有习题，部分习题在书末提供了答案。本书适合作为两学期课程的教材，具体如何安排课程在“教师前言”中有详细说明，并且提供了一张各节依赖关系图供参考。

离散数学是计算机专业课程的理论基础，这些课程涵盖从算法和自动机理论到组合学和图论。本书结构严谨，涵盖计算机科学专业的学生必须学习的离散数学基础，包括离散数学的基本概念、逻辑、有向图和无向图、自动机和正则语言、阶的表示法和计数问题、离散概率，以及模运算和公钥密码学的内容。本书通过问题讨论对离散数学的分析证明方法进行阐述，并通过丰富的应用实例进行分析。书中每章都有一个简洁的小结和一组习题，指导学生快速掌握该章内容。本书是本科课程的理想入门教材。

本书内容包括：绪论、基于H-Hk结构的算子型最小范数解析解、基于Kriging插值模型的最小范数插值解、基于高斯过程回归模型的最小范数正则解、基于高斯过程回归模型的有限维逼近解、Burgers方程算例分析。

本书旨在介绍特征标理论的基本内容以及重要的研究成果，同时也介绍特征标理论在纯群理论研究中的应用技术。全书共分为四章。第一章介绍模、代数的基本概念和基本理论，它是有限群特征标理论的基础。第二章介绍特征标的基础理论，包括特征标的构造、Clifford理论以及Frobenius群。第三章介绍比较深入的特征标理论，主要包括射影表示、群作用下的特征标和共轭类、特征标的张量积诱导、域扩张下的群表示和特征标，最后还将专题介绍本原群和线性群理论。次数是特征标最重要和显著的数量指标，特征标次数也是特征标

在本书中，我们将重点讨论稳态Navier-Stokes方程的Liouville定理方面的内容，围绕全空间上Leray问题这一公开问题展开讨论，希望能促进此问题的推广与深入研究，这涉及到Navier-Stokes方程解的分类问题，也跟经典Navier-Stokes方程的正则性紧密相关。首先，我们将回顾一些基本的数学工具和技术，包括Bogovskii映射，Stokes估计，衰减估计等；其次，我们将描述一些二维Navier-Stokes方程的进展，包括Liouville定理、解的衰减或分类估

董力耘，上海大学上海市应用数学和力学研究所副教授。戴世强，上海大学终身教授。渐近分析和摄动方法是理论分析中广泛应用的一套行之有效数学方法，是从事力学、应用数学等相关专业必不可少的数学工具。本教材以符号运算软件Mathematica为工具，在系统介绍各种积分的渐近展开、微分方程渐近解、PLK方法、匹配渐近展开法、多重尺度发以及同伦分析方法的基础上，重点关注各种渐近方法的Mathematica的实现过程，有很强的实用性，可以帮助读者迅速掌握相关方法，解决在研究中遇到的各种问题。

《纯数学教程》详细梳理了经典数学相关概念，其知识框架清晰而有条理，囊括了数论、代数、几何和拓扑学等多个领域。全书共分十章，每一章内容循序渐进、层层深入，从基础的核心概念讲起，提供严谨的证明过程，以及丰富的例子和习题。

第一章至第三章介绍了实数、复数等概念，其中，第二章着重通过图片展示的方式，直观地分析与讲解抽象的函数。第四章和第五章引入了极限、连续、振荡等概念。第六章至第八章详细介绍了微积分的概念和相关定理证明，如中值定理、达布定理等，此外，还论述了收敛的判别法。第九章和第十

多变量基本超几何级数，由于它的产生具有深刻的根系统的代数表示论背景，亦称伴随根系统基本超几何级数。本书是作者结合自己的长期研究，系统介绍多变量基本超几何级数研究领域的主要理论、方法及其应用的著作。全书共十二章，内容包括单变量基本超几何级数的基本理论及经典结果、多变量基本超几何级数的引入与分类、求和与变换公式、U（n+1）级数的基本定理及其应用、算子算子恒等式及其应用、多变量Bailey变换及其应用、多维矩阵反演、行列式计算方法及其应用、U（n+1）AAB Bailey格及其应用、多变量WP-Ba