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

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

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

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

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

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

線性代數是高等學校理工類和經管類專業(yè)的一門數學基礎課.本書主要針對應用型本科院校的學生而編寫.為滿足學生系統(tǒng)學習的需要，本書強化了實用性、科學性、針對性，實現了知識結構的整體優(yōu)化. 本書敘述通俗易懂，語言簡潔明快，并根據線性代數少學時的特點，對內容的深度和廣度進行了適度調整。全書共分為六章：行列式、矩陣及其運算、矩陣的

隨機矩陣理論的最新進展

本書較為系統(tǒng)地介紹了計算機科學與技術、軟件工程、智能科學與技術、人工智能、數據科學與大數據技術等信息類或智能類相關專業(yè)培養(yǎng)所必需掌握的離散數學基礎知識，全書分為四個部分（數理邏輯、集合論、代數結構和圖論），共7章.第1章介紹命題及其命題邏輯；第2章介紹一階謂詞邏輯及其推理理論；第3章介紹集合的基本概念和性質；第4章介紹