離散數(shù)學

第一編 數(shù)理邏輯
第1章 命題邏輯的基本概念
1.1 命題與命題聯(lián)結詞
1.2 命題公式及其賦值
習題一
第2章 命題邏輯等值演算
2.1 等值式
2.2 命題公式的標準形——范式
2.3 聯(lián)結詞的完備集
習題二
第3章 命題邏輯的推理理論
3.1 推理的形式結構
3.2 自然推理系統(tǒng)P
習題三
第4章 一階邏輯基本概念
4.1 一階邏輯的符號化
4.2 一階邏輯公式及解釋
習題四
第5章 一階邏輯等值演算與推理
5.1 一階邏輯等值式與置換規(guī)則
5.2 一階邏輯公式的標準形——前束范式
5.3 一階邏輯推理理論
習題五
第二編 集合論
第6章 集合代數(shù)
6.1 集合的基本概念
6.2 集合的運算
6.3 集合恒等式
習題六
第7章 二元關系
7.1 有序對與笛卡爾積
7.2 二元關系
7.3 關系的運算
7.4 關系的性質
7.5 關系的閉包
7.6 等價關系與劃分
7.7 偏序關系
習題七
第8章 函數(shù)
8.1 函數(shù)的定義與性質
8.2 函數(shù)的復合與反函數(shù)
習題八
第9章 集合基數(shù)
9.1 集合的等勢與優(yōu)勢
9.2 集合的基數(shù)
習題九
第三編 代數(shù)結構
第10章 代數(shù)結構
10.1 二元運算及其性質
10.2 代數(shù)系統(tǒng)
……
第11章 半群與群
第12章 環(huán)與域
第13章 格與布爾代數(shù)
第四編 圖論
第14章 圖的基本概念
第15章 歐拉圖與哈密頓圖
第16章 樹
第17章 平面圖及圖的著色
第18章 支配集、覆蓋集、獨立集與匹配
部分習題參考答案
參考文獻