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

本書是基于作者多年來為本科生、碩士研究生講授組合分析方法及應用課程的講義與作者的研究成果編寫而成。全書系統(tǒng)介紹組合數學的存在性和計數兩大組合分析領域的主要理論、方法及其應用，共八章，內容包括鴿巢原理及其應用、排列與組合及二項式系數、容斥原理及其應用、生成函數與遞歸關系、二階線性齊次遞歸序列、組合序列及其性質、組合反演公

本書內容全面，系統(tǒng)性強，涵蓋了國內工科研究生對矩陣論的幾乎全部知識點，并在教學結構上進行了創(chuàng)新的優(yōu)化和調整。本書包含五章內容。第一章為對線性代數知識的回顧，第二章介紹線性空間的定義、賦范線性空間、內積空間；第三章介紹線性變換；第四章介紹若當標準型及詳細的矩陣分析及矩陣函數等內容；第五章介紹矩陣分解、廣義逆、Kronec

本書是著名數學家單墫教授為中學生寫的一本簡明的數論輔導書，高屋建瓴地總結出中學數論中的重要知識點（如數的整除性、同余、數論函數、不定方程、連分數等），對中學數論的定理、概念等結合例題和小故事進行了詳細的講解，并提煉、編創(chuàng)了一些特別能啟發(fā)思維的練習題，通過這些練習可使讀者對中學數論的知識和方法有所收獲。本書適合中學生學習

本書涵蓋了行列式、矩陣、向量的線性相關性、線性方程組、特征值與特征向量等基礎知識，并增加了課程思政內容，注重培養(yǎng)學生基本應用能力和理論聯(lián)系實際的能力，具有較強的實用性和針對性。并且制訂并完善了適合學生實際的教學大綱，幫助同學們對所學知識進行總結梳理并鞏固。

本書參照全國碩士研究生入學統(tǒng)一考試數學考試大綱編寫而成。全書共7章，內容包括行列式、矩陣、線性方程組、向量組的線性相關性、線性空間與線性變換、相似矩陣及二次型、多項式等。本書以經典內容為基礎，融入幾何直觀，幫助讀者理解抽象的理論知識；以基本理論知識為基礎，附加MATLAB程序，幫助讀者快速掌握基本知識的計算機實現；以知

1965年，Zadeh教授在他的經典文獻“FuzzySets”中引入了模糊集合的概念，以及模糊集合的運算，從此就產生了模糊集理論，1975年，Zadeh教授又提出了區(qū)間值模糊集的概念，它可以看成是模糊集的一種推廣，將隸屬度的取值是0，1的數替代為區(qū)間數。由于區(qū)間值模糊集的特點是同時考慮隸屬與非隸屬兩方面的信息，使得它在

本書分為知識要點、練習測試兩部分，知識點包括：行列式、矩陣及其運算、矩陣的初等變換與線性方程組、向量組的線性相關性、相似矩陣及二次型等。

本書從圖論的起源，控制數理論的提出和發(fā)展，再到圖的羅馬控制和弱羅馬控制概念的提出，描述了控制數理論產生的歷史背景和重要意義，描述了圖的一些相關概念和常用記號，并給出了圖的羅馬控制和弱羅馬控制的一些已知結論，用數學歸納法和構造法確定了3Xn和4Xn格圖的羅馬控制數，給出了完全n部圖、2Xn格圖等一些特殊圖類的弱羅馬控制數

本書是國家級規(guī)劃教材《線性代數》的輔助教材，是編者根據多年的教學實踐經驗，按照新形勢下高等教育改革的精神，結合財經類高校本科專業(yè)線性代數的教學大綱編寫而成的。是在前三版的基礎上結合教學實踐情況修訂而成。章節(jié)編排上與教材匹配。全書分為八章，主要包括行列式、矩陣、n維向量與線性方程組、線性空間、矩陣的對角化、實二次型、線性