Quantale理论是理论计算机科学的数学基础之一,和计算机语言的运算语义与符号语义相联系,刻画了进程语义中的各种观察等价.由于Quantale具有丰富的序结构、代数结构,以及与线性逻辑和计算机理论的紧密联系,受到了数学和理论计算机科学领域的许多学者的密切关注,已成为格上拓扑学的一个研究方向.本著作将系统介绍Quant

目前应用型高等学校所用教材大多直接选自传统普通高校教材，无法直接有效地满足实际教学需要．许昌学院是河南省地方本科高校转型发展试点单位，为适应学校转型发展需要，培养合格高素质应用型人才，结合我校专业特点，经过广泛调研和多次研讨，组织编写了适合理工类各专业的公共数学讲义，其中《线性代数（理工类）》已在我校理工类各专业经过了

群论是抽象代数学的一个最主要的分支。本书是关于群论的普及读物，主要内容包括群论的基本组成部分：集合、结构、循环群、交换群、置换群、正规子群、商群、同态定理、西罗定理、群作用、群表示等内容。除此之外，本书还对群论进行了总结，就群与对称、群论的历史渊源与理论框架、有限单群分类定理、群论在中国的发展等几个专题进行了论述。本书

本书是为理工科大学理工与经济学类专业"线性代数"课程编写的教材，内容包括：线性方程组与矩阵，方阵的行列式，矩阵代数，维向量，向量空间，矩阵特征值和特征向量，二次型，Matlab在线性代数中的应用。每节内穿插有例题，练习题，每章末附有习题。书末附录包括：行列式的全排列及逆序数方法定义，习题参考解答和名次索引。本书结合理工

本书是中国科学院院士席南华先生为中国科学院大学本科一年级学生讲述线性代数课而编写的线性代数教材，主要内容包括以下内容：线性方程组，矩阵论初步，行列式理论，群、环、域等简单性质，复数以及多项式的根，抽象向量空间的基本概念等。

《高等代数与解析几何》首先介绍了学习高等代数与解析几何课程所需的一些预备知识，如集合、映射、数域及数学归纳法等。主要内容有空间解析几何、数域上的多项式、行列式、矩阵、向量与线性方程组、线性空间、线性变换及相似矩阵、内积空间、双线性函数与二次型及多项式矩阵等，共10章。每节后配有习题，每章后配有总习题，便于学生对本章节知

本教材为“十二五”普通高等教育本科国家级规划教材和“十二五”江苏省高等学校重点教材。内容包括矩阵、n维向量、线性方程组、矩阵的特征值和特征向量、二次型。全书在致力于强调内容的科学性与系统性的同时,注重代数概念的几何背景以及实际应用背景的介绍,以利于读者更好地理解和掌握代数理论,提高应用代数方法解决实际问题的能力。

《高等代数中的典型问题与方法（第二版）》是为正在学习高等代数的读者、正在复习高等代数准备报考研究生的读者，以及从事这方面教学工作的年轻教师编写的，《高等代数中的典型问题与方法（第二版）》与北京大学数学系几何与代数教研组编写的《高等代数（第三版）》相配套，在编写上也遵循此教材的顺序，全面、系统地总结和归纳了高等代数中问题

本书介绍学习矩阵论需要的基础知识如赋范线性空间、矩阵空间、$\lambda$矩阵、矩阵分析、矩阵微分方程、矩阵扰动分析和广义逆等矩阵论的基本内容，讲述这些内容的基本理论和计算方法.本书深入浅出，不要求读者具有高深的数学基础.在介绍内容的同时，注意体现数学的方法训练功能.

本书系统地论述了代数方程的Kuhn算法和增量算法（以Newton算法为其特例）、代数方程组和同伦算法以及同伦单纯轮迥算法。这些算法及其计算复杂性是应用数学领域中活跃的方向。本书作者按照由浅入深，从特殊到一般的原则，将这一方向的主要内容有机地组织起来，引导读者到此领域发展的前沿，因而本书是一本较为理想的入门读物。