本书内容包括：具积分边值条件的二阶常微分方程组解的存在性；上阶常微分方程(组)解的存在性；时标上常微分方程解的存在性等。

现代变分方法是非线性泛函分析的重要分支。本书主要介绍现代变分理论，特别是临界点理论在研究拟线性椭圆型方程解的存在性和多解性方面的应用，书中包含了不少新近发表的结果。 *章介绍了用经典变分法讨论拟线性椭圆型方程极小解存在，并介绍了Sobolev空间中的Pohozaev恒等式，且用它讨论了解的不存在性的研究。第二章介绍了光滑泛函临界点理论并讨论了可控增长次临界指数拟线性椭圆型方程的多重解，第三章结合集中紧原理讨论了临界指数拟线性椭圆型方程多重解。第四章介绍了非光滑泛函临界点理论，并证明了

      积分变换与场论是针对理工本科生开设的一门重要的基础课程，此课程以高等数学为基础， 是很多后续专业课程的工具课程。 通过学习本书，读者可了解傅里叶变换、拉普拉斯变换和场论的相关概念，初步掌握积分变换与场论的基本理论、基本方法，具备从事相关研究的基本技能，为学习后续的专业课程奠定基础。本书立足于理工科院校本科生的知识结构、采用问题驱动和导向的编写方式，注重与后续相关课程的融合，加强理论与实际应用的结合，有助于培养读者解决实际问题的能力。

      本练习册是与《高等数学》配套使用的教学辅助材料，题量适中，难易适度。内容涵盖一元函数微积分学、向量代数与空间解析几何、多元函数微积分学、无穷级数和微分方程等。

    本书讨论如何撰写美国大学生数学建模竞赛论文。书中包括两部分内容：一部分是地道的英文内容，另一部分为与之对应的中文介绍，这样安排的目的是培养读者用英文写作及思考的习惯，有困难时可以查看中文内容；或者先快速了解中文，再看英文表达。主要内容包括：简介、文章结构、文体、英语的用法、数学符号、数学表达、图形和表格、修改实例、写作训练，最后通过实例讲解如何写出优胜论文的注意事项和技巧等。在附录部分介绍了参赛规则并给出了参赛论文LATEX模板。

本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。

      本书介绍了初等数学研究方法，对初等代数中几个重要专题（三角、初等函数、不等式、数列、排列组合、导数等）作了探讨。

     江苏省精品教材配套用书，本书共分为十二个单元，每个单元包括三个部分。一是案例分析，在每个单元前面，结合工程应用中的实例，讲解数学建模的方法，进一步阐明了数学建模和用数学解决几何、物理和工程等实际问题的方法与技巧。二是随堂练习，按照教材顺序，以“三讲一练”配置了适量的随堂练习题。随堂练习题的题型有填空题，选择题、计算题和应用题。初步受到用数学方法解决解决几何、物理和工程等实际问题的能力训练。三是自测练习，精选了能反映本单元知识综合运用的一定数量题目。

     本书由知识逻辑结构图，考研考试内容，考研考试要求，考点提要，考研真题精选五个部分组成。可适应于硕士研究生入学考试（数学二）的备考用书，也可作为学生平时学习高等数学和线性代数的辅导用书