《赵老师讲平面几何（下）辅助线及通用的方法》是讲平面几何解题思路及其训练的系列丛书的下册，重点讲解平面几何中比较重要的辅助线及通用的几何解题方法。老师们通过学习此书可以掌握平面几何中难度技巧较高的方法，并能辅导学生举一反三、触类旁通，使学生掌握一整套行之有效的学习几何和解几何题的高层次方法。可以说，此书为学习平面几何提供了一把金钥匙，是全国广大中学生（特别是初中生）及中学数学教师的良师益友。

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教

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

本书分上、下两册。上册内容为一元函数微积分学，书末附有初等数学中的常用公式及积分表。下册内容为向量代数与空间解析几何、多元函数微积分、无穷级数和常微分方程。 本书力图体现下列特点： 1.对于概念。定理、公式，尽可能从直观背景出发，提出问题，分析问题，水到渠成地得出结论。 2．本着宏观不动，微观调整的原则，对传统内容适当删减，适当调整知识体系。 3．各章节的例题和习题比较丰富，有利于打好基础，提高分析问题和解决问题的能力，并着重加强应用意识的培养。 本书的编马得到沈阳工业大学、沈阳建筑大学、沈阳化工学院的许多同行和朋友的大力支持，另外，书中引用了许多参考文献，在此一并表示衷心的感谢！ 由于编者水平有限，难兔有错漏不妥之处，恳请读者随时批评指正。