《離散數(shù)學(第2版)》力求敘述嚴謹,推演嚴密,邏輯清晰,深入淺出,做到概念與實例密切結合,學生通過本課程的學習將得到嚴格的邏輯推理與抽象思維能力的訓練。
《離散數(shù)學(第2版)》是編者多年在武漢大學計算機科學系講授離散數(shù)學課的基礎上參考國內(nèi)外同類型教材編寫而成的。全書包括數(shù)理邏輯、集合論、代數(shù)結構和圖論四大部分!峨x散數(shù)學(第2版)》作為教材,主要適用于計算機科學與工程各專業(yè)的本科生,同時也適用于其他專業(yè)或其他層次的學生。
第一編 數(shù)理邏輯
第一章 命題邏輯
1.1 命題符號化
1.2 合式公式
1.3 永真公式
1.4 范式
1.5 推理理論
1.6 聯(lián)結詞的全功能集
第二章 一階邏輯
2.1 命題符號化
2.2 合式公式
2.3 永真公式
2.4 范式
2.5 推理理論
第二編 集合論
第三章 集合
3.1 集合的基本概念及其表示法
3.2 集合的運算
3.3 基本集合恒等式
3.4 容斥原理
.3.5 集合的笛卡爾積
第四章 二元關系
4.1 關系及其表示法
4.2 關系的性質(zhì)
4.3 關系的運算
4.4 等價關系與劃分
4.5 序關系
4.6 相容關系
第五章 函數(shù)
5.1 函數(shù)的基本概念和性質(zhì)
5.2 函數(shù)的合成
5.3 逆函數(shù)
第六章 集合的基數(shù)
6.1 可數(shù)集和不可數(shù)集
6.2 集合基數(shù)的比較
……
第三編 代數(shù)結構
第四編 圖論
參考文獻
符號表