《高考数学压轴题解题诀窍（上）》以高考数学压轴题为主，用巧妙的方法分析及解答压轴题，大大提高解压轴题的效率。首先，对近七年高考数学压轴题题型进行分析和复习建议。其次，从知识内容的角度分析高考数学压轴题中常见题型的解题诀窍。包括圆锥曲线问题、导数及其应用问题、数列问题、不等式问题。内容独特，题型全面，针对性强，是提高数学水平的理想用书。

本书是作者根据多年从事高等代数与解析几何课程教学的经验编写而成的, 在编写中尽量站在学生的角度来合理地安排全书的结构体系, 将二次型及 其矩阵的特征值这一历史上的经典问题作为引入整个课程内容的一条叙述主 线, 真正将高等代数与解析几何有机地结合起来, 相得益彰. 本书对每一个重 要概念都尽可能地给出要引入的理由, 努力讲清楚抽象概念和理论的内涵(包括其思想来源与相关的几何意义等), 特别是对线性空间和线性变换这两个中 心概念就更是如此. 本书还比较细致地解说了各个主要定理的推理步骤, 并安 排了不少典型的例题和习题来指导学生理解和运用这些定理. 本书分上、下两册. 上册主要内容包括: 空间向量、平面与直线、矩阵 初步与 n 阶行列式、矩阵的秩与线性方程组、多项式、矩阵的相似与若尔 当标准形.

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

该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。

本书内容包括函数、极限与连续、导数与微分、微分中值定理与导数的应用不定积分、定积分、多元函数微积分、无穷级数、微分方程初步、差分方程初步等.每章各节后均配有适量的习题，标记星号(*)的习题相对难度较高

《高等数学疑难问题选讲》是“高等学校大学数学教学研究与发展中心”立项资助的教学研究项目成果。《高等数学疑难问题选讲》编写的主要目的是为了帮助从事“高等数学”教学的青年教师更深刻地领会教学内容，提高教学水平和教学能力。全书分章按问题编排，各问题之间相对独立，便于读者查阅。

《从整数谈起》共5章，包括：整数和它的表示，同余，方程的整数解，整点与逼近，整数的应用。《从整数谈起》主要介绍整数的各种性质和由整数引申出来的各种数学问题和故事。《从整数谈起》适合数学爱好者参考阅读。

本“导论”是中国科学技术大学非数学专业通用的讲义，是在40年的使用过程中，经过不断的修订、充实而成的。 与同类书相比，其广度有所拓宽，论证定理、公式逻辑严谨，编排内容循序渐进，阐述概念联系实际，深入浅出。 为加深对概念、定理等的理解和掌握，书中编有丰富的例题，以及习题和总复习题。 本“导论”分三册出版。本册讲述单变量函数微积分，中册讲述空间解析几何、多变量函数微积分，下册讲述组数与常微分方程。 本书另配学习辅导一册。 本册内容包括函数的极限，单变量函数的微分学，单变量函数的积分学，可积常微分方程共四章。 本“导论”可作理工科院校非数学专业或师范类院校数学专业的教材或教学参考书，也可供具有一定数学基础的读者自学。