離散數(shù)學(xué)

第1篇 數(shù)理邏輯
第1章 數(shù)理邏輯
1.1 命題及命題聯(lián)結(jié)詞
1.2 命題公式及命題公式之間的邏輯關(guān)系
1.3 謂詞與量詞
1.4 謂詞公式及謂詞公式之間的邏輯關(guān)系
1.5 范式
1.6 數(shù)理邏輯推理理論
1.7 命題邏輯推理系統(tǒng)N
1.8 謂詞邏輯推理系統(tǒng)NL
小結(jié)
習(xí)題一
習(xí)題二
第2章 非經(jīng)典邏輯介紹
2.1 模態(tài)邏輯
2.2 多值邏輯
2.3 非單調(diào)邏輯
2.4 模糊邏輯
2.5 道義邏輯
小結(jié)
習(xí)題一
第2篇 關(guān)系
第3章 集合基礎(chǔ)
3.1 集合的概念和表示法
3.2 集合的關(guān)系
3.3 集合的基本運算
3.4 包含排斥原理
小結(jié)
習(xí)題一
習(xí)題二
第4章 關(guān)系
4.1 笛卡兒積與序偶
4.2 二元關(guān)系的定義和表示
4.3 關(guān)系的運算
4.4 關(guān)系的性質(zhì)
4.5 關(guān)系的閉包
4.6 等價關(guān)系與集合的劃分
4.7 偏序關(guān)系與偏序集
小結(jié)
習(xí)題一
習(xí)題二
第5章 函數(shù)
第3篇 圖論
第6章 圖論中的基本概念
第7章 特殊圖
第4篇 代數(shù)系統(tǒng)
第8章 代數(shù)系統(tǒng)
第9章 幾個特殊的代數(shù)系統(tǒng)
第5篇 組合分析初步
第10章 排列與組合
第11章 鴿巢原理
附錄 各章習(xí)題二答案
參考文獻