《生成函数讲义（影印版）》向读者介绍了生成函数的语言，它是当今计数组合学的主要语言。该书从定义、简单的属性和许多生成函数的例子开始。然后讨论了形式语法、多变量生成函数、分拆和分解以及容斥原理等主题。在最后一章中，作者描述了树、平面图和嵌入在二维曲面中的图的计数应用。在全书中，作者通过提供有趣的例子而不是一般理论来激发读

信息在传输时很可能会发生错误。随着每天通过电子方式传输大量信息，这个问题变得越来越重要。编码理论研究打包数据的有效方法，以便错误可以被检测甚至纠正。编码理论中的传统工具源于组合学和群论。由于20世纪70年代后期Goppa的工作，编码学家将代数几何的技术添至其工具箱中。特别地，通过将Reed-Solomon编码重新解释为

本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识，并在前一版的基础上进行了修改与扩展。书中通过大量实例，深入浅出地讲解了集合与逻辑，证明，函数、序列与关系，算法，数论，计数方法与鸽巢原理，递推关系，图论，树，网络模型，Boole代数与组合电路，自动机、文法和语言等与计算机科学密切相关的前沿课

本书介绍了半群的S-系理论的若干公开问题.这些公开问题,从提出到全部解决或者部分解决的过程,经历的时间跨度大,从研究方法到理论创新,都有值得借鉴和给人启发的地方.除本书的第1章和第15章外,其余每一章都包括三方面的内容:问题的历史渊源、问题的研究进展、总结与启发.内容的安排,基本按照每一个问题从提出到后续研究的时间顺序

本书是现代图论教学中被广泛采用的研究生教材，它在前4版的基础上进行了进一步扩充和更新。其叙述的方式非常有特色：先解释定理的意义、证明的思路，并对主要思路进行描述，再提供详尽严格的证明，从而阐述图论的核心内容，让读者容易地了解这个领域的精髓所在。特别地，对若干图论中的重要定理给出多种证明。《BR》本书囊括了当代图理论中最

Guillemin，Ginzburg和Karshon的研究表明，从隐含的拓扑脉络来看，G流形不变量的计算是涉及同变配边的线性化定理的结果。本书呈现了这一当前极受关注的快速发展领域中的许多新的成果，采用了新颖的方法，并展示了令人激动的新研究。在过去的几十年中，“局部化”一直是同变微分几何学领域的重要主题之一。典型的结果是

本书主要论述了zeta和L函数之零点间距与大型紧典型群之随机元特征值间距之间的深层关系。这种称为Montgomery-Odlyzko定律的关系，对有限域上的zeta和L函数之宽类都成立。本书借鉴并描述了诸多不同的数学领域，从代数几何、模空间、单值性、等分布和Weil猜想，到关于紧典型群在维数趋于无穷的极限情况下的概率论

书中共分9章，分别介绍集合、映射与运算，关系，命题逻辑，谓词逻辑，代数结构，图论，几类特殊的图、组合计数和初等数论.每节后面都有精选习题，本书是其教学辅导用书，对教材中的每个题目对给出了详尽的解答.

《初等数论》在吸收已有初等数论教材清晰、简明、严谨的特色基础上，在内容呈现方式及论证思路方面进行了周密的准备，力求还原数学家门的思考过程，力求讲清楚所有概念、方法、定理的来龙去脉。全书有以下特点：（1）所有的定理、性质、方法及结论都不直接呈现，而是通过例题引出；（2）对于定理或性质的证明，均通过具体实例引出；（3）对一

本书是根据高等院校各专业对“线性代数”的学习、复习及应试要求而编写的，主要内容包括行列式、矩阵、向量、线性方程组、矩阵的特征值与特征向量、二次型。 本书各章均由三部分组成，即考点内容讲解、考点题型解析、经典习题与解答。“考点内容讲解”部分对每章的基本内容按照知识结构分为概念、性质和结论几个层面，结合读者应掌握的重点作