乔治·布尔发明了一套符号用来进行逻辑演算，创造了逻辑代数系统，完成了逻辑的数学化。布尔称他的工作为“思维的定律”，理由是命题代数和思维过程的原则紧密相联。新的知识常常会为你解决一些意想不到的难题。布尔代数就可以应用于解决逻辑问题，这些问题的条件形成一个命题的总体，我们可以利用它证实某些其他命题的真和假。布尔代数在代数学、逻辑演算、集合论、拓扑空间理论、测度论、概率论、泛函分析等数学分支中均有应用。本书介绍了布尔代数、广义布尔代数、布尔方程、布尔矩阵、布尔表示等概念，还列举了布尔代数在逻辑线路、极大极小值等问题中的应用。

《物理学的进化》是著名科学家、物理学奠基，主要介绍物理学观念从伽利加略牛顿时代的经典理论发展到现代的场论、相对论和量子论的演变情况。其中选择了几个主要的转折点来阐明经典物理学的命运和现代物理学中建立新观念的动机，从而指引读者怎样运河找寻观念世界和现象世界的联系。《物理学的进化》问世后，物理学有了空前的发展，不过这《物理学的进化》只是讨论物理学的重要观念，它们在本质上并没有变化，仍然适合读者阅读。

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

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

本书是作者多年来在大学生数学竞赛辅导和考研辅导经验的基础上编写而成的．全书共分为13 章，每章包括4 个模块，即知识要点、典型例题分析、深化训练以及深化训练详解．本书编写的目的主要有两个：一是帮助工科类、经管类本科生备考全国大学生数学竞赛，使学生能够在短时间内迅速掌握各种解题方法和技巧，提升学生综合分析问题、解决问题的能力；二是为了满足工科类、经管类本科生考研的需要. 在例题和习题选编方面，精选了部分有代表性的数学竞赛真题和考研真题，同时注重例题、习题的创新，按题型分类进行合理编排，使学生能够尽快地适应考研题型，从容应对考试.本书既可以作为普通高等院校工科类、经管类本科生参加全国大学生数学竞赛的辅导用书，也可以作为工科类、经管类本科生考研深化训练用书．

该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。

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

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

《高等数学基础理论解析及其应用研究》对高等数学基础理论及其应用进行探讨，主要内容包括坐标空间与解析几何方法、函数与极限、导数与微分、中值定理与导数的应用，不定积分、定积分及其应用、微分方程、无穷级数、重积分及其应用、曲线积分与曲面积分等。