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

序
前言
第一篇　數(shù)理邏輯
第一章　命題邏輯
1. 1　命題與聯(lián)結(jié)詞
1. 2　命題公式與賦值
1. 3　等值演算
1. 4　聯(lián)結(jié)詞的全功能集
1. 5　范式
1. 6　推理理論
習(xí)題
第二章　一階邏輯
2. 1　一階邏輯的基本概念
2. 2　一階語言及其解釋
2. 3　等值演算
2. 4　前束范式
2. 5　推理理論
習(xí)題
第二篇　集合論
第三章　集合的基本概念和運算
3. 1　集合的基本概念
3. 2　集合的運算
3. 3　有限集合的計數(shù)
習(xí)題
第四章　關(guān)系和函數(shù)
4. 1　有序偶和笛卡兒積
4. 2　關(guān)系的表示法以及關(guān)系的性質(zhì)
4. 3　關(guān)系的運算
4. 4　等價關(guān)系和劃分
4. 5　偏序關(guān)系
4. 6　函數(shù)的基本概念及性質(zhì)
4. 7　函數(shù)的復(fù)合
4. 8　反函數(shù)
4. 9　集合的基數(shù)
習(xí)題
第三篇　代數(shù)系統(tǒng)
第五章　代數(shù)系統(tǒng)概述
5. 1　二元運算及其性質(zhì)
5. 2　代數(shù)系統(tǒng)
5. 3　代數(shù)系統(tǒng)的同態(tài)和同構(gòu)
習(xí)題
第六章　幾種典型的代數(shù)系統(tǒng)
6. 1　半群. 么半群和群
6. 2　環(huán)和域
6. 3　格和布爾代數(shù)
習(xí)題
第四篇　圖　論
第七章　圖的基本概念
7. 1　無向圖與有向圖
7. 2　通路. 回路. 圖的連通性
7. 3　帶權(quán)圖與最短通路
7. 4　圖的矩陣表示
習(xí)題
第八章　樹
8. 1　樹與生成樹
8. 2　根樹及其應(yīng)用
習(xí)題
第九章　幾類特殊圖
9. 1　歐拉圖與哈密頓圖
9. 2　二部圖
9. 3　平面圖
習(xí)題
索引
附錄　北京市高等教育學(xué)歷文憑考試“離散數(shù)學(xué)”課程考試大綱
參考文獻