本书是山东省省级精品课程“离散数学”的主讲教材，是全国教育科学“十一五”国家课题“我国高校应用型人才培养模式研究”重点子课题“应用型本科院校计算机专业课程体系构建研究”的研究成果。 本书系统讲解离散数学基础知识和应用方法，由六部分构成；第一部分数理逻辑，内容包括命题逻辑和谓词逻辑；第二部分集合论，内容包括集合的基本知

本书根据教育部对工程数学"线性代数"的要求及理工类学生考研究生的需要适当地选择内容，分五章，分别为第一章行列式、第二章矩阵及其运算、第三章线性方程组解的结构与向量组的线性相关性、第四章相似矩阵与二次型，第五章线性空间。

本书是普通高等教育“十一五”国家级规划教材。全书系统介绍了群、环、域的基本概念与初步性质，共分为三个部分。第一部分讲述群的基本概念与性质，除了通常的群、子群、正规子群及群同态的基本定理外，还介绍了群的应用。第二部分包括环、子环、理想与商环的基本概念与性质，特别讨论了整环的性质。第三部分讨论了域的扩张的理论。

本书是Springer经典数学教材系列之一。该系列包含已出版的400多本教材，许多已经被奉为经典并该科目的标准参考书。该书对vonNeumann代数理论给出了全面而详细的介绍。几乎包含该科目的所有基本结果。对于初学着和专家来说本书都是一本非常难得的参考书。目次：一般理论；W*-代数的分类；分解理论；专题。 读者对象：

本书主要介绍生成函数的理论及其应用，生成函数是计数组合学中的基本工具。本书共分四章，分别介绍了计数，筛法，偏序集以及有理生成函数。

本书的第零章通过介绍Fermat的工作和结果，从而窥见丰富的、深奥的数的世界。第一章以Fermat的工作为起点，介绍椭圆曲线的基本知识。第二章介绍p进数及二次曲线的Hasse原理。第三章介绍了ζ函数在整点的特殊值。

本书在《数论Ⅰ》的基础上，进一步迈向现代数论的两大主题：解析方面的自守形式和代数方面的岩泽理论，以及二者之间的关系。在自守形式方面介绍了模形式、Eisenstein级数、自守形式与表示论之间的关系等。在岩泽理论方面介绍了p进ζ函数、岩泽主猜想及与自守形式的关系等。

本书对组合设计和编码的基本概念、方法和理论作了比较简单的介绍，并介绍了组合设计和编码的联系。全书共分九章。第一章有限关联结构从有限关联结构出发给出了组合设计的基本概念。第二章介绍拉丁方与正交序列的一般理论。第三章介绍几类对称设计。第四章介绍有限射影几何与有限仿射几何。第五章介绍Hadamard矩阵与Hadamard2-

本书主要研究无条件安全的认证理论，介绍了作者在这个领域的研究成果。首先分别引入了三方(发方、收方和敌方)及四方(发方、收方、敌方和仲裁方)认证系统的完善认证概念，然后用组合设计的语言刻画了这两类完善认证码的结构，在此基础上找到了完善认证码的构造方法。

Hofp代数概念首次是被引进到代数拓扑理论，而近些年将其发展并应用于数学的其他领域，比如李群，代数群以及Galois理论。本书修订并译自日语，是学习Hopf代数基本理论的入门书籍。在介绍和讨论了上代数、双代数以及Hofp代数以后，接着讲述Hopf代数积分的独特性和存在性的Sullivan证明以及双模基本结构理论。Hop