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

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

行列式，矩阵及其运算，矩阵的初等变换与方程组，向量组的线性相关性，矩阵的特征值与特征向量，二次型，线性空间与线性变换，行列式，矩阵及其计算，矩阵的特征值，二次型，线性空间与线性变换行列式，矩阵及其运算，矩阵的初等变换与方程组，向量组的线性相关性，矩阵的特征值与特征向量，二次型，线性空间与线性变换，行列式，矩阵及其计算，

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

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

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

行列式中主要讲解行列式的定义、性质、计算；线性方程组中主要讲解线性方程组的可解判定、求解方法、解结构；矩阵一章中主要讲解矩阵的运算、秩、等价、可逆判定、求逆，分块矩阵及其应用；多项式中主要讲解多项式的因式分解、根，特别是有理数域上多项式不可约的判断及有理根的求法；二次型中主要讲解矩阵的合同、二次型的等价、复二次型及实二

《高等代数》主要介绍了高等代数的一些*常见并且*基本的理论和方法，主要内容包括一元多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、λ-矩阵和欧氏空间。《高等代数》在注重基本理论和方法的同时，尤其强调矩阵初等变换的应用，精选了一定数量的基本练习题和总复习题，后者可供考研学生复习使用。《高等代数》起点低，便于

《素数若干问题探析及证明》以“引子”引出欧几里得证明的疑点，对欧氏证明的疑点及其原因进行了解读；以素数中三个不可理解性问题为切入点，找到了素数中“可穷尽”“不可穷尽”现象的根本原因；应用素数的有效排除力原理对“为什么偶素数可穷尽”“为什么个位数为5的奇素数可穷尽”“为什么奇素数不可穷尽”诸问题做出了证明，对“罗卡尔命题

主要内容包括：行列式、矩阵、线性方程组、线性空间、线性变换、特征值与特征向量、欧氏空间、二次型、λ-矩阵与Jordan标准形、矩阵分解。主要内容包括：行列式、矩阵、线性方程组、线性空间、线性变换、特征值与特征向量、欧氏空间、二次型、λ-矩阵与Jordan标准形、矩阵分解。

本书系统讨论了模糊偏好关系的基本理论及其应用。首先对普通偏好关系以及模糊逻辑联结运算等工具进行系统的介绍；然后讨论模糊偏好关系理论，主要集中于模糊关系的各种性质及其度量以及模糊偏好结构理论；应用方面，介绍了模糊选择函数以及基于模糊关系的模糊量排序。模糊偏好关系理论是模糊决策的重要理论基础及工具。本书可供应用数学、运筹学

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

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

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

线性代数是大学理工科和经管类学生的必修课程，在培养学生的计算能力和抽象思维能力方面起着非常重要的作用．本书以线性方程组为出发点，逐步展开论述矩阵、行列式、向量组及其相关性等概念，并引入许多实例供读者了解线性代数在实际应用中的独特作用，每章后还附有Matlab实验，供读者学习使用数学软件解决线性代数问题．

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

本书按照丛书理念，以线性方程组为出发点，逐步展开论述矩阵、行列式、向量组及其相关性等概念，并引入许多实例供读者了解线性代数在实际应用中的独特作用，每章后还附有Matlab实验，供读者学习使用数学软件解决线性代数问题

《实用线性代数方法》从思想、理论和应用3个方面阐述线性代数的主要内容。其中包括：矢量和线性空间的意义与作用，矩阵的概念与作用，线性方程组的解及其规律，矩阵特性与实用意义。《实用线性代数方法》可供相关高等院校理工科和经管类的学生以及相关专业的科技工作者等阅读、参考。

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

矩阵与算子广义逆