離散數(shù)學(xué)導(dǎo)引

第一講 集合論技術(shù)
第一章 集合概念
1 集合及其表示法
2 子集與冪集
3 集合上的基本運(yùn)算
4 集合的Venn圖
第二章 關(guān) 系
5 關(guān)系及其表示法
6 二元關(guān)系與映射
7 若干特殊關(guān)系
8 等價(jià)關(guān)系與劃分
9 序關(guān)系與偏序集
第三章 集合的基數(shù)
10 無(wú)窮集與Galileo悖論
11 一一對(duì)應(yīng)與可數(shù)集
12 Cantor對(duì)角線法與不可數(shù)集
13 集合的基數(shù)與Cantor連續(xù)統(tǒng)猜想
第一講習(xí)題
第二講 數(shù)理邏輯基礎(chǔ)
第四章 命題演算
14 命題. 聯(lián)結(jié)詞與真值表
15 真值函數(shù)類
16 其他邏輯聯(lián)結(jié)詞
17 聯(lián)結(jié)詞的功能完備集
18 范式與真值表技術(shù)
19 演繹和推理
第五章 謂詞演算
20 引 言
21 謂詞與量詞
22 函數(shù). 項(xiàng)與合適公式
23 有效公式
24 謂詞演算的演繹與推理
第二講習(xí)題
第三講 代數(shù)系統(tǒng)
第六章 廣群與半群
25 代數(shù)系統(tǒng)
26 廣群與半群
27 同態(tài)與同構(gòu)
28 同余與可允許劃分
29 同態(tài). 同余與可允許劃分
第七章 群
30 群的基本性質(zhì)
31 若干特殊的群
32 子群. 陪集與正規(guī)子群
33 群的同態(tài)與同態(tài)基本定理
第八章 布爾代數(shù)與格
34 引 言
35 布爾代數(shù)的定義與例子
36 布爾代數(shù)的基本性質(zhì)
37 布爾代數(shù)與格
38 有限布爾代數(shù)的構(gòu)造
39 布爾函數(shù)--布爾表達(dá)式
40 布爾函數(shù)的極小化
第三講習(xí)題
第四講 圖論方法
第九章 圖的基本概念
41 引 言
42 基本概念
43 路與回路
44 圖與矩陣
45 關(guān)系與圖
46 群與圖
47 Euler圖與Hamilton圖
第十章 樹(shù)
48 樹(shù)的特征
49 生成樹(shù)
50 有向樹(shù)與根樹(shù)
第十一章 平面圖
51 平面圖與Euler公式
52 Kuratowski定理
第四講習(xí)題
部分習(xí)題答案與提示
參考文獻(xiàn)