本书根据高等数学课程教学基本要求，结合“将数学建模思想融入数学课程中”的基本思想及作者多年的教学实践编写而成。 本书在内容取材上兼顾与高中数学课程的衔接，注重数学思想和方法,增加了Mathematica数学软件的介绍。在例题和习题中尽可能地反映数学建模的思想。本书分上、下两册，上册包括函数与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分及其应用、微分方程，书末附有几种常见曲线、积分表、习题答案与提示等。 本书可作为高等院校理工科非数学专业的高等数学教材或教学参考书。
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
本书从二次型，集合与映射，线性空间，线性变换，λ矩阵，欧氏空间等方面，精选了494道典型性较强的习题，做了全面详细的解答，并注意了一题多解。每节习题之前都有对本节主要定义，定理和重要结构作了简要的概述
《高等数学典型题解答指南（第2版）/大学数学学习辅导丛书》是在2011年出版版的基础上修订的，对全书的内容作了全新的修订，修正了版中出现的一些错误，替换了2章测试题。內容包括函数与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分、常微分方程、向量代数与空间解析几何、多元函数微分法及其应用、重积分、曲线积分与曲面积分、无穷级数、自测试题及解答，共12章。前11章配备了较多的典型例题和同步习题，并对典型例题给出了详细的分析、解答和评注，2章是自测试题及解答。 《高等数学典型题解答指南（第2版）/大学数学学习辅导丛书》可作为理工科院校本科各专业学生的高等数学课程学习指导书或考研参考书，也可以作为相关课程教学人员的教学参考资料。
《超级通俗考研数学:攻坚站之高等数学》的一大特点是通俗易懂，深入浅出。主要内容包括高等院校高等数学课程的所有内容，针对考研数学的特殊性进行了强化，同时对于一些传统课本中的重点、难点、疑点以及被忽视的一些潜在要点做出了全新诠释。另外，由于作者常年从事考研培训，《超级通俗考研数学:攻坚站之高等数学》还包括相当多的不传之秘——考研数学的套路。
本书根据高等院校理工类专业《工科类本科数学基础课程教学基本要求》及考研大纲编写而成，本书是多年教学改革与实践的经验总结。主要内容包括：函数与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分、定积分的应用、空间解析几何与向量代数、多元函数微分法及其应用、重积分、曲线积分与曲面积分、无穷级数、微分方程等知识。每章内容循序渐进，既考虑到一般工科高等院校学生使用，又考虑到考研的实际需求，特没置了知识结构图、基本要求、典型题型解题方法与技巧、综合与提高、同步自测等环节，不仅适合普通高等院校理工类、经管类本科专业的学生使用，还可以作为教学参考书或考研辅导用书。
极限是从初等数学跨向高等数学的一座重要桥梁。在青少年阶段或更早吸收了解极限先进思想和概念，无疑对他们的人生发展有着不可估量的影响。 本书图文并茂，根据青少年的思维特点，沿初涉极限、计算极限、研究极限和超越极限的主线，生动详尽地论述了古今无数大家对于极限的探索和认识过程、他们遇到的千难万阻、他们开辟的创新之路和他们给人类留下的巨大财富。 有志青少年读者已经不满足道听途说或一知半解，他们所需要的不仅是有趣的轶事和数学典故，而且还要知道大师们的具体解决办法。本书限于用初等的方法给出开普勒计算酒桶体积、球堆积猜想、牛顿一般二项式定理和高斯的二乘法。这无疑是一个大胆的尝试，即使从高等数学角度来说还不够严格，但是作为满足青少年的求知欲望和进一步创新的动力还是非常值得做的。 本书适合
