Quantale理論是理論計算機科學的數(shù)學基礎之一,和計算機語言的運算語義與符號語義相聯(lián)系,刻畫了進程語義中的各種觀察等價.由于Quantale具有豐富的序結構、代數(shù)結構,以及與線性邏輯和計算機理論的緊密聯(lián)系,受到了數(shù)學和理論計算機科學領域的許多學者的密切關注,已成為格上拓撲學的一個研究方向.本著作將系統(tǒng)介紹Quant

本書是中國科學院院士席南華先生為中國科學院大學本科一年級學生講述線性代數(shù)課而編寫的線性代數(shù)教材，主要內(nèi)容包括以下內(nèi)容：線性方程組，矩陣論初步，行列式理論，群、環(huán)、域等簡單性質，復數(shù)以及多項式的根，抽象向量空間的基本概念等。

行列式，矩陣及其運算，矩陣的初等變換與方程組，向量組的線性相關性，矩陣的特征值與特征向量，二次型，線性空間與線性變換，行列式，矩陣及其計算，矩陣的特征值，二次型，線性空間與線性變換行列式，矩陣及其運算，矩陣的初等變換與方程組，向量組的線性相關性，矩陣的特征值與特征向量，二次型，線性空間與線性變換，行列式，矩陣及其計算，

目前應用型高等學校所用教材大多直接選自傳統(tǒng)普通高校教材，無法直接有效地滿足實際教學需要．許昌學院是河南省地方本科高校轉型發(fā)展試點單位，為適應學校轉型發(fā)展需要，培養(yǎng)合格高素質應用型人才，結合我校專業(yè)特點，經(jīng)過廣泛調研和多次研討，組織編寫了適合理工類各專業(yè)的公共數(shù)學講義，其中《線性代數(shù)（理工類）》已在我校理工類各專業(yè)經(jīng)過了

群論是抽象代數(shù)學的一個最主要的分支。本書是關于群論的普及讀物，主要內(nèi)容包括群論的基本組成部分：集合、結構、循環(huán)群、交換群、置換群、正規(guī)子群、商群、同態(tài)定理、西羅定理、群作用、群表示等內(nèi)容。除此之外，本書還對群論進行了總結，就群與對稱、群論的歷史淵源與理論框架、有限單群分類定理、群論在中國的發(fā)展等幾個專題進行了論述。本書

本書是為理工科大學理工與經(jīng)濟學類專業(yè)"線性代數(shù)"課程編寫的教材，內(nèi)容包括：線性方程組與矩陣，方陣的行列式，矩陣代數(shù)，維向量，向量空間，矩陣特征值和特征向量，二次型，Matlab在線性代數(shù)中的應用。每節(jié)內(nèi)穿插有例題，練習題，每章末附有習題。書末附錄包括：行列式的全排列及逆序數(shù)方法定義，習題參考解答和名次索引。本書結合理工

行列式中主要講解行列式的定義、性質、計算；線性方程組中主要講解線性方程組的可解判定、求解方法、解結構；矩陣一章中主要講解矩陣的運算、秩、等價、可逆判定、求逆，分塊矩陣及其應用；多項式中主要講解多項式的因式分解、根，特別是有理數(shù)域上多項式不可約的判斷及有理根的求法；二次型中主要講解矩陣的合同、二次型的等價、復二次型及實二

《高等代數(shù)》主要介紹了高等代數(shù)的一些*常見并且*基本的理論和方法，主要內(nèi)容包括一元多項式、行列式、線性方程組、矩陣、二次型、線性空間、線性變換、λ-矩陣和歐氏空間�！陡叩却鷶�(shù)》在注重基本理論和方法的同時，尤其強調矩陣初等變換的應用，精選了一定數(shù)量的基本練習題和總復習題，后者可供考研學生復習使用。《高等代數(shù)》起點低，便于

《素數(shù)若干問題探析及證明》以“引子”引出歐幾里得證明的疑點，對歐氏證明的疑點及其原因進行了解讀；以素數(shù)中三個不可理解性問題為切入點，找到了素數(shù)中“可窮盡”“不可窮盡”現(xiàn)象的根本原因；應用素數(shù)的有效排除力原理對“為什么偶素數(shù)可窮盡”“為什么個位數(shù)為5的奇素數(shù)可窮盡”“為什么奇素數(shù)不可窮盡”諸問題做出了證明，對“羅卡爾命題

主要內(nèi)容包括：行列式、矩陣、線性方程組、線性空間、線性變換、特征值與特征向量、歐氏空間、二次型、λ-矩陣與Jordan標準形、矩陣分解。主要內(nèi)容包括：行列式、矩陣、線性方程組、線性空間、線性變換、特征值與特征向量、歐氏空間、二次型、λ-矩陣與Jordan標準形、矩陣分解。

本書系統(tǒng)討論了模糊偏好關系的基本理論及其應用。首先對普通偏好關系以及模糊邏輯聯(lián)結運算等工具進行系統(tǒng)的介紹；然后討論模糊偏好關系理論，主要集中于模糊關系的各種性質及其度量以及模糊偏好結構理論；應用方面，介紹了模糊選擇函數(shù)以及基于模糊關系的模糊量排序。模糊偏好關系理論是模糊決策的重要理論基礎及工具。本書可供應用數(shù)學、運籌學

《高等代數(shù)與解析幾何》首先介紹了學習高等代數(shù)與解析幾何課程所需的一些預備知識，如集合、映射、數(shù)域及數(shù)學歸納法等。主要內(nèi)容有空間解析幾何、數(shù)域上的多項式、行列式、矩陣、向量與線性方程組、線性空間、線性變換及相似矩陣、內(nèi)積空間、雙線性函數(shù)與二次型及多項式矩陣等，共10章。每節(jié)后配有習題，每章后配有總習題，便于學生對本章節(jié)知

本教材為“十二五”普通高等教育本科國家級規(guī)劃教材和“十二五”江蘇省高等學校重點教材。內(nèi)容包括矩陣、n維向量、線性方程組、矩陣的特征值和特征向量、二次型。全書在致力于強調內(nèi)容的科學性與系統(tǒng)性的同時,注重代數(shù)概念的幾何背景以及實際應用背景的介紹,以利于讀者更好地理解和掌握代數(shù)理論,提高應用代數(shù)方法解決實際問題的能力。

《高等代數(shù)中的典型問題與方法（第二版）》是為正在學習高等代數(shù)的讀者、正在復習高等代數(shù)準備報考研究生的讀者，以及從事這方面教學工作的年輕教師編寫的，《高等代數(shù)中的典型問題與方法（第二版）》與北京大學數(shù)學系幾何與代數(shù)教研組編寫的《高等代數(shù)（第三版）》相配套，在編寫上也遵循此教材的順序，全面、系統(tǒng)地總結和歸納了高等代數(shù)中問題

線性代數(shù)是大學理工科和經(jīng)管類學生的必修課程，在培養(yǎng)學生的計算能力和抽象思維能力方面起著非常重要的作用．本書以線性方程組為出發(fā)點，逐步展開論述矩陣、行列式、向量組及其相關性等概念，并引入許多實例供讀者了解線性代數(shù)在實際應用中的獨特作用，每章后還附有Matlab實驗，供讀者學習使用數(shù)學軟件解決線性代數(shù)問題．

本書介紹學習矩陣論需要的基礎知識如賦范線性空間、矩陣空間、$\lambda$矩陣、矩陣分析、矩陣微分方程、矩陣擾動分析和廣義逆等矩陣論的基本內(nèi)容，講述這些內(nèi)容的基本理論和計算方法.本書深入淺出，不要求讀者具有高深的數(shù)學基礎.在介紹內(nèi)容的同時，注意體現(xiàn)數(shù)學的方法訓練功能.

本書按照叢書理念，以線性方程組為出發(fā)點，逐步展開論述矩陣、行列式、向量組及其相關性等概念，并引入許多實例供讀者了解線性代數(shù)在實際應用中的獨特作用，每章后還附有Matlab實驗，供讀者學習使用數(shù)學軟件解決線性代數(shù)問題

《實用線性代數(shù)方法》從思想、理論和應用3個方面闡述線性代數(shù)的主要內(nèi)容。其中包括：矢量和線性空間的意義與作用，矩陣的概念與作用，線性方程組的解及其規(guī)律，矩陣特性與實用意義。《實用線性代數(shù)方法》可供相關高等院校理工科和經(jīng)管類的學生以及相關專業(yè)的科技工作者等閱讀、參考。

本書系統(tǒng)地論述了代數(shù)方程的Kuhn算法和增量算法（以Newton算法為其特例）、代數(shù)方程組和同倫算法以及同倫單純輪迥算法。這些算法及其計算復雜性是應用數(shù)學領域中活躍的方向。本書作者按照由淺入深，從特殊到一般的原則，將這一方向的主要內(nèi)容有機地組織起來，引導讀者到此領域發(fā)展的前沿，因而本書是一本較為理想的入門讀物。

矩陣與算子廣義逆