Quantale理論是理論計(jì)算機(jī)科學(xué)的數(shù)學(xué)基礎(chǔ)之一,和計(jì)算機(jī)語(yǔ)言的運(yùn)算語(yǔ)義與符號(hào)語(yǔ)義相聯(lián)系,刻畫(huà)了進(jìn)程語(yǔ)義中的各種觀察等價(jià).由于Quantale具有豐富的序結(jié)構(gòu)、代數(shù)結(jié)構(gòu),以及與線性邏輯和計(jì)算機(jī)理論的緊密聯(lián)系,受到了數(shù)學(xué)和理論計(jì)算機(jī)科學(xué)領(lǐng)域的許多學(xué)者的密切關(guān)注,已成為格上拓?fù)鋵W(xué)的一個(gè)研究方向.本著作將系統(tǒng)介紹Quant

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

行列式，矩陣及其運(yùn)算，矩陣的初等變換與方程組，向量組的線性相關(guān)性，矩陣的特征值與特征向量，二次型，線性空間與線性變換，行列式，矩陣及其計(jì)算，矩陣的特征值，二次型，線性空間與線性變換行列式，矩陣及其運(yùn)算，矩陣的初等變換與方程組，向量組的線性相關(guān)性，矩陣的特征值與特征向量，二次型，線性空間與線性變換，行列式，矩陣及其計(jì)算，

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

矩陣與算子廣義逆