本書系統(tǒng)地論述了圖譜理論的基本定義,基本定理和重要應用,深人介紹了圖論中數(shù)種主要矩陣及其特征多項式,以及這些矩陣的譜(特征值及其重數(shù))的規(guī)律與應用,其中涉及系統(tǒng)工程、電路和人工智能領域. 本書可作為研究生的學習用書,也可為相關領域的研究和開發(fā)人員提供理論參考

本書共6章，分為3部分。第1部分是數(shù)理邏輯，包括第1章命題邏輯和第2章一階邏輯。第2部分是集合論，包括第3章集合代數(shù)、第4章二元關系和第5章函數(shù)。第3部分是第6章圖論。每章均包含豐富的習題及部分習題的參考答案，針對重要的知識點設計了線上參考資源，包括教學課件和交互式可視化教學軟件，讀者可下載。

本書包括集合與關系、計數(shù)、數(shù)理邏輯、圖論基礎、再論圖論和代數(shù)結(jié)構六章內(nèi)容，介紹離散數(shù)學的基礎知識。

《算術基礎》是德國數(shù)學家、哲學家G.弗雷格的經(jīng)典著作，也是數(shù)理邏輯與分析哲學的奠基之作。弗雷格試圖從邏輯角度給數(shù)下嚴格的定義，他首先批判地考察了施羅德、密爾、洛克、萊布尼茨、貝克萊等人關于數(shù)的觀點，并在此基礎上提出自己的核心命題：數(shù)的陳述包含的是對概念的斷言；每個數(shù)自身是獨立自存的對象，數(shù)詞表示的是專名；數(shù)不是主觀的表

"內(nèi)容第一部分數(shù)理邏輯部分，將選取生活中的邏輯案例和公務員考試題目為引入點，逐步分解數(shù)理邏輯中涉及到的命題、謂詞、范式及推理理論。一方面可以弘揚優(yōu)秀的中華傳統(tǒng)文化，另一方面可以改變目前教材中的國外案例居多的狀況。拓展環(huán)節(jié)能夠?qū)λ�選案例進行理論推導、Python程序?qū)崿F(xiàn)并形成最終報告。第二部分集合論，通過學習集合論的經(jīng)典

本書是為適應“新文科”背景下經(jīng)管類專業(yè)大學數(shù)學教學的新要求，推進信息技術、數(shù)字經(jīng)濟與課程教材深度融合而編寫的線性代數(shù)教材。主要內(nèi)容包括矩陣與行列式、線性方程組、矩陣的特征值和特征向量、二次型、線性空間與線性變換，其中線性空間與線性變換為選學內(nèi)容。本

本書根據(jù)高等院校普通本科線性代數(shù)課程及其在各專業(yè)中的應用編寫而成。本書包含行列式、矩陣、向量組的線性相關性、線性方程組、相似矩陣及二次型、線性空間與線性變換等內(nèi)容。

本教材力求兼顧理論教學與軟件工程專業(yè)教學,構思以課程自身內(nèi)容為載體的應用及實踐,鏈接軟件工程后續(xù)課程。內(nèi)容覆蓋集合論(集合、關系、函數(shù))、數(shù)理邏輯基礎(命題邏輯、謂詞邏輯、自然推理系統(tǒng))、圖論基礎、抽象代數(shù)(群、環(huán)、域、格)。實踐環(huán)節(jié),以某種程序設計語言為載體(Python、Haskell或Racket),以離散數(shù)學問

本書系統(tǒng)地介紹了離散數(shù)學的理論與方法。全書共9章,內(nèi)容包括命題邏輯、謂詞邏輯、集合、二元關系和函數(shù)、代數(shù)系統(tǒng)、圖論導論、特殊的圖、樹及其應用以及組合數(shù)學基礎。為了幫助學生對龐雜的知識點進行理解記憶,本書在講解知識點時配有豐富的、面向計算機科學技術發(fā)展的應用實例;同時,每一章都有典型例題解析,詳細分析了該例題中所用到的基