本書系統(tǒng)深入地闡述了矩陣結構和矩陣函數(shù)的公理化體系，并給出基于此公理體系進行形式化分析與驗證的應用。主要內容包括：矩陣結構的形式化；矩陣序列與矩陣級數(shù)理論的形式化；矩陣函數(shù)微分的形式化；矩陣理論的自動化定理證明；矩陣理論公理化系統(tǒng)在信息或物理系統(tǒng)形式化建模驗證中的應用。

本書內容包括行列式、矩陣、線性方程組、矩陣的特征值與特征向量、二次型等基本理論與方法.例題配置注重層次性和典型性,按章節(jié)配有相當數(shù)量的習題,各章還精心設置了較為豐富、有助于考研等需求的復習題,書末附有部分習題參考解答.此外,還附有線性代數(shù)應用實例與MATLAB在代數(shù)計算中的用法供學生進一步參考學習.在概念的引入和內容的

本書是根據(jù)線性代數(shù)課程教學大綱基本要求,結合作者多年教學實踐，參考國內外多部優(yōu)秀教材編寫而成的,是河南省數(shù)學教學指導委員會推薦用書。全書共9章,內容包括:行列式,矩陣,線性空間初步,線性方程組,矩陣的特征值、特征向量與對角化,二次型,數(shù)值計算初步,應用舉例以及MATLAB實驗等，并用二維碼鏈接了每章習題參考答案(第7-

本書根據(jù)《工科類本科數(shù)學基礎課程教學基本要求（修訂稿）》（2019），并結合21世紀線性代數(shù)課程教學內容與課程體系改革發(fā)展要求編寫而成。全書分三篇：基礎篇主要介紹線性代數(shù)基本內容；應用篇結合線性代數(shù)四個知識面，通過生動的實例介紹它們在經(jīng)濟、工程技術等方面的應用；實驗篇簡要介紹MATLAB軟件及其在線性代數(shù)中的應用。本書

本書介紹了廣方復原的CFOP四步法以及如何利用故事法快速記住其中涉及到的公式。讓讀者在充滿趣味的閱讀中牢記魔方公式，讓所有人都能學習魔方，成為魔方速擰的高手。

本書介紹叢代數(shù)研究的理論基礎和部分專題，其中，基礎部分，畚重從代數(shù)方法和組合方法兩方面介紹叢代數(shù)的結構；專題部分，介紹叢代數(shù)理論與數(shù)學各個方面(包括拓撲、幾何、表示論、數(shù)論、矩陣論等)的聯(lián)系。在一些專題的介紹M，指出了目前理論的研究進展和面臨的問題。

本書是普通高等教育“十一五”***規(guī)劃教材。全書系統(tǒng)介紹了群、環(huán)、域的基本概念與初步性質,共分為三個部分。第一部分講述群的基本概念與性質,除了通常的群、子群、正規(guī)子群及群同態(tài)的基本定理外,還介紹了群的應用。第二部分包括環(huán)、子環(huán)、理想與商環(huán)的基本概念與性質,特別討論了整環(huán)的性質。第三部分討論了域的擴張的理論。

本書是《矩陣半張量積講義》的第四卷。內容包括兩個部分：①一般有限集合上的動態(tài)系統(tǒng)的建模與控制,主要介紹有限集（包括有限環(huán)與有限格）上的動態(tài)系統(tǒng)。②跨維數(shù)歐氏空間的拓撲結構、等價性與商空間、跨維數(shù)動態(tài)系統(tǒng)及跨維半群系統(tǒng)的建模與控制。矩陣半張量積為這兩類系統(tǒng)的研究提供了有效的工具。本書所需要的預備知識僅為工科大學本科的數(shù)學

本書以組合數(shù)學中的存在問題和計數(shù)問題為主線展現(xiàn)理論之美,從滿足一定條件的排列組合的存在性入手,介紹計數(shù)方法和計數(shù)工具,將組合數(shù)學運用到與生活密切相關的網(wǎng)絡安全實例中,展現(xiàn)其應用之美。全書分為7章,介紹了排列組合概念與方法、特殊計數(shù)、母函數(shù)原理與應用、遞推關系和容斥原理計數(shù)方法,以及鴿籠原理和Polya計數(shù)定理。本書將合

數(shù)論是一門研究整數(shù)的歷史悠久的學科，對數(shù)學思維的培養(yǎng)與訓練有特殊的作用。初等數(shù)論是一門重要的基礎課，本書將初等數(shù)論的核心重點知識前移，用淺顯易懂的方式呈現(xiàn)；在邏輯與思維上，盡量由淺入深；重點介紹通識方法與技巧，淡化特殊技巧，注重思想方法的學習�！禕R》全書分為六章，內容包括整除與同余、二次剩余與原根、不定方程、素數(shù)分布