●章命題邏輯
1.1命題及命題聯結詞
1.2命題公式與真值表
1.3邏輯恆等式與永真蘊涵式
1.4命題範式
1.5命題演算推理方法
習題1
第2章謂詞邏輯
2.1謂詞邏輯基本概念
2.2謂詞公式及解釋
2.3基本等價式與永真蘊涵式
2.4謂詞範式
2.5謂詞演算推理規則
習題2
第3章集合
3.1集合的概念
3.2集合的運算與文氏圖
3.3集合的笛卡兒乘積
3.4計數問題
習題3
第4章關繫
4.1關繫及其特性
4.2關繫的運算
4.3關繫的閉包運算
4.4集合的劃分
4.5相容關繫
4.6等價關繫
4.7偏序關繫
習題4
第5章函數
5.1函數及特殊函數類
5.2逆函數和復合函數
5.3基數的比較與可數集
5.4不可數集
5.5鴿舍原理
5.6特征函數
習題5
第6章代數繫統
6運算及其性質
6.2代數繫統
6.3群
6.4環和域
6.5格
6.6布爾代數與組合電路
習題6
第7章圖論
7.1圖的基本概念
7.2路與連通圖
7.3圖的矩陣表示及其連通性的判斷
7.4賦權圖與最短路
7.5歐拉圖與漢密爾頓圖
7.6二分圖與平面圖
7.7樹及其應用
習題7
附錄部分習題答案或解析提示
參考文獻
內容簡介
《離散數學/高等教育“十三五”規劃教材》介紹離散數學的基礎理論與基本方法。離散數學是現代數學的一個重要分支,以研究離散量的結構和相互關繫為主要研究對像,主要內容包括數理邏輯、集合論、代數繫統和圖論等。全書由命題邏輯、謂詞邏輯、集合、關繫、函數、代數繫統和圖論共7章組成,每章均配有適量的習題。附有部分習題答案或解析提示,便於檢驗和加深學生對所學內容的理解和掌握。《離散數學/高等教育“十三五”規劃教材》可作為計算機類、數學類、電子信息類等相關專業本科生的教材,也可作為相關專業研究生及科技工作者的參考書。