離散數學是計算機專業的專業基礎課，本書建立在數學理論的基礎上，主要介紹數理邏輯、集合論、組合論、圖論和群論等內容，注重知識點之間的關聯性，既有一定深度又深入淺出，通過大量實例和練習培養學生嚴謹的思維方法，通過算法編程提高學生解決實際應用問題的能力。本書適合作為計算機相關專業的本科生教材，也可作為自學讀物或考研參考書。
前言
第1章 數理邏輯與推理基礎
1.1命題邏輯
1.1.1 命題及其表示法
1.1.2 邏輯聯結詞
1.1.3命題公式
1.1.4命題等價定律
1.1.5命題公式的范式
1_1.6 蘊涵關系
1.1.7推理
1.2謂詞邏輯
1.2.1 謂詞的概念與謂詞公式
1.2.2謂詞邏輯公式
1.2.3量詞等價定律
1.2.4謂詞公式的范式
1.2.5謂詞邏輯的推理
1.3歸納方法
1. 3.1數學歸納法的形式
1.3.2 數學歸納法的應用
第2章 集合與函數
2.1集合的概念
2.2集合的運算
2.3笛卡兒積
2.4函數
2.5容斥原理
2.6無限集的基數比較
2.7與整數有關的函數及其應用
2.7.1 從R到Z的常用函數
2.7.2 從Z×Z到Z的常用函數
2.7.3余數函數
2.7.4模與余數的應用
2.7.5整數的進制表示
第3章 二元關系
3.1二元關系的概念
?3.2二元關系的運算
3.3二元關系的性質
3.4等價關系一
3.4.1等價關系的概念
3.4.2等價關系的運算
3.4.3等價關系的運算與劃分的
關系
3.5半序關系
3.6字典順序和拓撲排序
3.6.1字典順序
3.6.2拓撲排序
3.7格與布爾代數
第4章 圖論基礎
4.1 圖的概念
4.1-1 圖的術語
4.1.2 圖的模型
4.2道路與圖的連通性
4.3 圖的矩陣表示
4.4加權圖中的*短道路問題
4.5歐拉道路與哈密頓道路
4.5.1 歐拉道路與歐拉回路
4.5.2 歐拉定理的應用
4.5.3 哈密頓道路與哈密頓
回路
4.5.4哈密頓道路的應用
4.6平面圖
4.7 圖的著色
4.8樹
4.8.1無向樹
4.8.2有根樹
4.8.3二元樹及其應用
4.8.4生成樹
4.8.5*小生成樹
第5章 組合數學基礎
5.1鴿巢原理
第6章代數系統
附錄A自然數集與數學歸納原理
附錄B級數公式
參考文獻
參考答案
作者介紹
新書資訊