以下是對離散數(shù)學第二版課程的講解:
數(shù)理邏輯
命題邏輯:主要研究命題的基本概念、聯(lián)結詞、命題公式與真值表、等價式與蘊含式、范式以及命題演算的推理理論。命題是能夠判斷真假的陳述句,通過聯(lián)結詞如 “非”“且”“或”“如果…… 那么……” 等可以組合成更復雜的命題公式。真值表用于確定命題公式在不同取值情況下的真假性,而范式則是將命題公式化為一種標準形式,便于進行邏輯推理和判斷公式的等價性等 .
一階謂詞邏輯:在命題邏輯的基礎上,引入了個體詞、謂詞和量詞等概念。謂詞用于描述個體的性質或個體之間的關系,量詞則表示個體的范圍,如 “所有”“存在” 等。一階謂詞邏輯能夠更準確地表達和推理關于對象及其屬性的命題,其主要內容包括謂詞命題的符號化、謂詞公式的解釋與賦值、等價式和蘊含式、前束范式以及謂詞邏輯的推理理論等.
集合論
集合的基本概念與運算:集合是由一些確定的、互不相同的對象所組成的整體。需要掌握集合的表示方法,如列舉法、描述法等,以及集合之間的關系,如包含、相等、真包含等。集合的基本運算包括并、交、差、對稱差和補集等,同時要熟悉集合運算的性質,如交換律、結合律、分配律等.
關系與函數(shù):
二元關系:是集合論中的一個重要概念,它是由有序對組成的集合。要理解關系的表示方法,如關系矩陣和關系圖,以及關系的性質,如自反性、反自反性、對稱性、反對稱性和傳遞性等。此外,還需掌握關系的運算,如關系的復合、逆關系和閉包運算等.
函數(shù):函數(shù)是一種特殊的二元關系,它滿足對于定義域中的每個元素,在值域中都有唯一的元素與之對應。要掌握函數(shù)的定義、特性,如單射、滿射和雙射,以及復合函數(shù)和逆函數(shù)的概念和性質.
代數(shù)系統(tǒng)
代數(shù)結構的基本概念:代數(shù)系統(tǒng)是由集合和定義在該集合上的若干運算所組成的系統(tǒng)。需要了解代數(shù)系統(tǒng)的定義、子代數(shù)系統(tǒng)的概念,以及同態(tài)、同構和同余等關系,這些概念用于研究不同代數(shù)系統(tǒng)之間的相似性和等價性.
典型的代數(shù)系統(tǒng):包括群、環(huán)、域、格和布爾代數(shù)等。
群:是一種具有一個二元運算的代數(shù)系統(tǒng),滿足封閉性、結合律、存在單位元以及每個元素都有逆元等性質。要學習群的基本性質、子群、陪集、拉格朗日定理等內容,以及幾種典型的群,如交換群、循環(huán)群、置換群等.
環(huán)與域:環(huán)是具有兩個二元運算的代數(shù)系統(tǒng),滿足一定的運算性質;域是一種特殊的環(huán),其中非零元素對于乘法運算構成一個交換群。要掌握環(huán)和域的定義、性質、環(huán)同態(tài)與理想等概念.
格與布爾代數(shù):格是一種特殊的偏序集,其中任意兩個元素都有最小上界和最大下界。布爾代數(shù)是一種特殊的格,它具有一些額外的性質,如分配律、有補性等。要理解格的概念、性質和同態(tài),以及布爾表達式、布爾函數(shù)等相關內容.

圖論
圖的基本概念:圖是由頂點和邊組成的一種數(shù)據(jù)結構,用于表示對象之間的關系。要掌握圖的定義、分類,如無向圖、有向圖、簡單圖、多重圖等,以及頂點的度數(shù)、子圖、補圖、圖同構等概念.
圖的連通性:包括無向連通和有向連通的概念,以及判斷圖是否連通的方法,如利用鄰接矩陣、可達矩陣等。此外,還需學習通路、回路、歐拉回路、哈密頓回路等相關概念和性質,以及它們在實際問題中的應用,如解決一筆畫問題、旅行商問題等.
圖的矩陣表示:圖可以用矩陣來表示,如鄰接矩陣、完全關聯(lián)矩陣、可達矩陣等。這些矩陣能夠方便地存儲和處理圖的信息,并且可以通過矩陣運算來研究圖的性質和解決相關問題,如計算圖中兩點之間的通路數(shù)量等.
樹及其應用:樹是一種特殊的無向圖,它具有無回路且連通的特點。要學習樹的基本概念、性質,如樹的頂點數(shù)與邊數(shù)的關系,以及生成樹、最小生成樹的概念和算法,如普里姆算法、克魯斯卡爾算法等。此外,還有根樹、哈夫曼樹等特殊的樹結構,以及它們在數(shù)據(jù)編碼、信息傳輸?shù)阮I域的應用.