本书分两部分，上部为堆垒素数论;下部为指数和的估计及其在数论中的应用。第一部分是关于堆垒素数论方面苏联维诺格拉陀夫院士的研究方法和作者自己的研究方法的总结性论著.在这部分中给予维诺格拉陀夫院士的中值定理以显著的中心地位，并且改进了它.作者把华林问题与哥德巴赫问题的研究方法结合起来，井把华林问题一方面推广到每一加数是整系数多项式的情形，一方面限制变数仅取素数值.作者把塔锐问题也加上了变数只取素数值的限制，同时又讨论到更广的素未知数的不定方程组。下部主要讨论了指数和的各种估计方法及其应用，特别讨论了这些方法对Waring问题及问题的应用.除此而外，也谈到了解析数论的其他一些问题与方法.这部分不仅综合了这几方面的结果与文献，更重要的是对其中绝大部分重要的结果都给出了较完各的提纲性的证明。

本书是作者在为研究生开设代数拓扑学课程的讲义基础上整理而成的，全书共九章，第零章为预备知识，前三章介绍单纯同调论，第四章为当前流行的范畴论，从第五章开始介绍在一般空间上的连续同调论。后四章是CW空间、一般系数的同调论、乘积空间的同调论和Steenrod运算。本书论述严谨，深入浅出，作者力图从较直观的几何概念出发引出极为抽象的概念。

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

本书系统地介绍分数阶微积分学与分数阶控制领域的理论知识与数值计算方法。特别地，作者提出并实现一整套高精度的分数阶微积分学的数值计算方法；提出线性、非线性分数阶微分方程的通用数值解法和基于框图的通用仿真框架，为解决分数阶控制系统的仿真问题奠定了基础；开发面向对象的分数阶系统控制的MATLAB工具箱，可以用于多变量分数阶系统的建模、分析与控制器设计的全过程。本书所有知识点均配有高质量的MATLAB代码，有助于读者更好地理解知识点的内涵，更重要地，可以利用代码实践并创造性地解决相关问题。

自上世纪20～30年其出现开始，群的上同调就成为了代数与拓扑学的交叉领域，并且促成了重要的新数学研究领域的创建，诸如同调代数和代数K-理论。该书是第一本综合论述有限群的上同调的书。书中介绍了最重要也是最有用的代数和拓扑方法，研究了有限群的上同调与同伦论、表示论和群作用之间的关系。书中的各理论与实例的结合，连同各种重要的经典群（对称群、交错群、李型极限群以及各种散在单群）的上同调的计算方法

全书基本涵盖了《高等数学》中所需的初等数学内容。本书按初等数学的学习顺序分八章进行编写，章代数式、第二章方程与不等式、第三章函数概念与二次函数、第四章指数函数与对数函数、第五章数列、第六章三角函数、第七章平面解析几何、第八章复数简介。每章后附有精选的习题，全书的给出了习题的答案和证明题的提示。本书的编写精简、扼要，能在较短的时间内补足学习《高等数学》所需的预备知识。本书适合于各大专院校的学生复习；各类国家高等教育自学考试的学生、网络学院的学生、广播电大的学生自学补习或集体补习初等数学之用。