本書包括集合與關(guān)系、計(jì)數(shù)、數(shù)理邏輯、圖論基礎(chǔ)、再論圖論和代數(shù)結(jié)構(gòu)六章內(nèi)容,介紹離散數(shù)學(xué)的基礎(chǔ)知識(shí)。
《算術(shù)基礎(chǔ)》是德國(guó)數(shù)學(xué)家、哲學(xué)家G.弗雷格的經(jīng)典著作,也是數(shù)理邏輯與分析哲學(xué)的奠基之作。弗雷格試圖從邏輯角度給數(shù)下嚴(yán)格的定義,他首先批判地考察了施羅德、密爾、洛克、萊布尼茨、貝克萊等人關(guān)于數(shù)的觀點(diǎn),并在此基礎(chǔ)上提出自己的核心命題:數(shù)的陳述包含的是對(duì)概念的斷言;每個(gè)數(shù)自身是獨(dú)立自存的對(duì)象,數(shù)詞表示的是專名;數(shù)不是主觀的表
"內(nèi)容第一部分?jǐn)?shù)理邏輯部分,將選取生活中的邏輯案例和公務(wù)員考試題目為引入點(diǎn),逐步分解數(shù)理邏輯中涉及到的命題、謂詞、范式及推理理論。一方面可以弘揚(yáng)優(yōu)秀的中華傳統(tǒng)文化,另一方面可以改變目前教材中的國(guó)外案例居多的狀況。拓展環(huán)節(jié)能夠?qū)λx案例進(jìn)行理論推導(dǎo)、Python程序?qū)崿F(xiàn)并形成最終報(bào)告。第二部分集合論,通過學(xué)習(xí)集合論的經(jīng)典
本書是為適應(yīng)“新文科”背景下經(jīng)管類專業(yè)大學(xué)數(shù)學(xué)教學(xué)的新要求,推進(jìn)信息技術(shù)、數(shù)字經(jīng)濟(jì)與課程教材深度融合而編寫的線性代數(shù)教材。主要內(nèi)容包括矩陣與行列式、線性方程組、矩陣的特征值和特征向量、二次型、線性空間與線性變換,其中線性空間與線性變換為選學(xué)內(nèi)容。本
代數(shù)標(biāo)志著現(xiàn)代數(shù)學(xué)的開端,它使數(shù)學(xué)運(yùn)算從基本的算術(shù)問題(以給定數(shù)字為特征的計(jì)算)發(fā)展到解決某些未知量的問題,F(xiàn)在,代數(shù)作為數(shù)學(xué)的支柱,支撐著社會(huì)科學(xué)和物理學(xué)的定量研究。本書從初步代數(shù)開始,在十個(gè)邏輯異常緊湊的章節(jié)中,希金斯為那些熱衷于代數(shù)學(xué)習(xí)的讀者提供了一個(gè)循序漸進(jìn)的方法,運(yùn)用理論和示例更新了讀者對(duì)學(xué)校所講授代數(shù)的認(rèn)知
本書共分7章,用數(shù)學(xué)的思維方式進(jìn)行編寫,以研究線性空間及其線性映射為主線,系統(tǒng)介紹了高等代數(shù)的基本概念和方法,從基礎(chǔ)的行列式理論開始,逐步深入講解矩陣?yán)碚、向量空間、線性方程組、二次型、線性變換等內(nèi)容,強(qiáng)調(diào)理論與實(shí)踐相結(jié)合。本書注重直觀而深入的闡述代數(shù)的基本概念,通過清晰的數(shù)學(xué)推導(dǎo),在介紹抽象的數(shù)學(xué)概念時(shí)交代其來龍去脈
本書根據(jù)高等院校普通本科線性代數(shù)課程及其在各專業(yè)中的應(yīng)用編寫而成。本書包含行列式、矩陣、向量組的線性相關(guān)性、線性方程組、相似矩陣及二次型、線性空間與線性變換等內(nèi)容。
本教材力求兼顧理論教學(xué)與軟件工程專業(yè)教學(xué),構(gòu)思以課程自身內(nèi)容為載體的應(yīng)用及實(shí)踐,鏈接軟件工程后續(xù)課程。內(nèi)容覆蓋集合論(集合、關(guān)系、函數(shù))、數(shù)理邏輯基礎(chǔ)(命題邏輯、謂詞邏輯、自然推理系統(tǒng))、圖論基礎(chǔ)、抽象代數(shù)(群、環(huán)、域、格)。實(shí)踐環(huán)節(jié),以某種程序設(shè)計(jì)語言為載體(Python、Haskell或Racket),以離散數(shù)學(xué)問
本書系統(tǒng)地介紹了離散數(shù)學(xué)的理論與方法。全書共9章,內(nèi)容包括命題邏輯、謂詞邏輯、集合、二元關(guān)系和函數(shù)、代數(shù)系統(tǒng)、圖論導(dǎo)論、特殊的圖、樹及其應(yīng)用以及組合數(shù)學(xué)基礎(chǔ)。為了幫助學(xué)生對(duì)龐雜的知識(shí)點(diǎn)進(jìn)行理解記憶,本書在講解知識(shí)點(diǎn)時(shí)配有豐富的、面向計(jì)算機(jī)科學(xué)技術(shù)發(fā)展的應(yīng)用實(shí)例;同時(shí),每一章都有典型例題解析,詳細(xì)分析了該例題中所用到的基