离散数学是现代数学的重要分支，是计算机科学理论的基础。本书内容包括四部分：*部分为数理逻辑，包括第1章命题逻辑、第2章谓词逻辑；第二部分为集合论，包括第3章集合、第4章二元关系和函数；第三部分为图论，包括第5章图简介、第6章特殊的图、第7章树；第四部分为代数系统，包括第8章代数系统简介、第9章几个典型的代数系统。本书适

本书将传统的主教材和学习指导书合二为一，充分考虑了教师讲授和学生学习的必要性与便利性。主要内容有行列式、矩阵、向量、线性方程组、矩阵的相似与二次型等。

本书是一本的现代教材，给出新的线性代数基本介绍和一些有趣应用，目的是帮助学生掌握线性代数的基本概念及应用技巧，为后续课程的学习和工作实践奠定基础。主要内容包括线性方程组、矩阵代数、行列式、向量空间、特征值与特征向量、正交性和小二乘法、对称矩阵和二次型、向量空间的几何学等。此外，本书包含大量的练习题、习题、例题等，便于读

高等代数是数学专业考研的必考课程,本书是作者在积累了多年为数学专业本科生进行高等代数考研辅导的经验的基础上编写而成的.全书共9章，包括行列式、线性方程组、矩阵、多项式、二次型、线性空间、线性变换、-矩阵、欧式空间等内容.书中对很多高校近年的高等代数考研高频真题进行了分类解析,使得读者能够举一反三,熟悉考试中经常出现的题

本书介绍代数K群的结构和性质。我们从一个环R的K群K0(R)，K1(R)，K2(R)开始，接着构造Quillen的高次K群，介绍Waldhausen范畴的K理论和概形的K群。为了方便学习，我们补充了所需的代数和同伦代数的基本知识，并介绍了模型范畴理论。*后介绍了Grothendieck的原相理论，并叙述了利用K理论来表

本书系统地介绍了抽象代数的基本概念、基本方法和基本理论。全书分为5章，前两章介绍具有一定深度和广度的群、环、域的一般知识；第3章介绍Galois理论，它是群论与域论结合所得到的深刻数学结果的具体体现；第4章介绍模与代数的有关知识；第5章介绍有限群的特征标理论及其初步应用。本书内容丰富、举例众多，特别注意通过分析例子概括

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

对齐性空间的研究使我们对微分几何和李群有了更深的了解。例如，在几何方面，一般性的定理和性质对于齐性空间也都成立，并且在这个架构上通常更容易理解和证明。在李群方面，相当多的分析或者开始于或者归结到齐性空间（通常是对称空间）上。多年来，对很多数学家来说，这本经典著作已经是、也会继续是这方面资料的标准来源。作者从对微分几何的

作为作者获奖书AlgebraicTheoryofQuadraticForms(Benjamin,1973)的新版，本书给出了在特征非2的任意域上的二次型理论的一个现代、自足的导引。从除了线性代数外的少量预备知识出发，作者讲述了一个专家级的课程，内容从二次型的Witt经典理论、四元数与Clifford代数、形式实域的Ar

从建立之初，量子群论已成为现代数学中最吸引人的论题之一，而它的大量应用有时竟包括了像低维拓扑和数学物理这些完全不同的领域。本书是直接面向没有此学科基本知识的学生最早的著作之一。除了线性代数外，预备知识仅仅要求熟悉一点经典的复半单李代数理论。从sl_2的量子类比着手，作者通过所有必要的细节细心引导读者去充分了解这个学科，