本书的宗旨是帮助读者全面、系统地复习高等数学的内容，深入理解基本概念和基本理论，学习和掌握解题方法及解题技巧；追求的目标是通过对解题方法和技巧的分析，使读者能举一反三、触类旁通。本书每章均有一些读者想掌握、易掌握但尚未掌握或根本上不知道的方法和技巧，例如，一些类型的极限的教求法；有关微积分中值定理命题的证明；定积分、重积分的有关命题的证明；不等式的证明；无穷级数求和的方法；常微分方程中积分因子的求法等，均介绍了读者见所未见的新方法和新技巧。按当前考试特点及命题的发展趋势修订的本书，将更适合广大读者，尤其是考研应试者的需要。本书可作为本科生、大专生、电大、夜大、职大生的参考书，也可作为青年教师和科技工作者的参考书。

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。

本教材分上、下两册出版：上册内容为函数、极限与连续，导数与微分，不定积分，定积分，简易微分方程等五章；下册内容为空间解析几何与向量，多元函数微积分，曲线积分与曲面积分，无穷级数，线性代数初步等共五章。每节配有适量的习题，每章配有本章内容小结和综合练习题，书末还附有各种相关图表及习题解答或提示。本教材本着简明、易学、实用的原则，选材恰当，观点新颖，结构严谨，叙述详细，通俗易懂。本教材配有较多例题，便于自学，适应性广，伸缩性强，可作为高等院校非数学各专业的学生使用，也可作为大专院校的专科教材或函授教材。

本书是数学与应用数学专业选修课教材，全书共九章和两个附录。九章分别是多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、λ-矩阵、欧几里得空间，每章包括知识点归纳与要点解析、典型例题、精选习题三部分内容。两个附录分别为精选习题提示及参考答案、大学生数学竞赛试题及参考答案。

《超级通俗考研数学:攻坚站之高等数学》的一大特点是通俗易懂，深入浅出。主要内容包括高等院校高等数学课程的所有内容，针对考研数学的特殊性进行了强化，同时对于一些传统课本中的重点、难点、疑点以及被忽视的一些潜在要点做出了全新诠释。另外，由于作者常年从事考研培训，《超级通俗考研数学:攻坚站之高等数学》还包括相当多的不传之秘——考研数学的套路。

《高等数学典型题解答指南（第2版）/大学数学学习辅导丛书》是在2011年出版版的基础上修订的，对全书的内容作了全新的修订，修正了版中出现的一些错误，替换了2章测试题。內容包括函数与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分、常微分方程、向量代数与空间解析几何、多元函数微分法及其应用、重积分、曲线积分与曲面积分、无穷级数、自测试题及解答，共12章。前11章配备了较多的典型例题和同步习题，并对典型例题给出了详细的分析、解答和评注，2章是自测试题及解答。 《高等数学典型题解答指南（第2版）/大学数学学习辅导丛书》可作为理工科院校本科各专业学生的高等数学课程学习指导书或考研参考书，也可以作为相关课程教学人员的教学参考资料。