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

第一篇數(shù)理邏輯
第一章命題邏輯
1.1命題與聯(lián)結(jié)詞
1.2命題公式.翻譯和真值表
1.3公式分類與等價(jià)公式
1.4對(duì)偶式與蘊(yùn)涵式
1.5聯(lián)結(jié)詞的擴(kuò)充與功能完全組
1.6公式標(biāo)準(zhǔn)型--范式
1.7公式的主范式
1.8命題邏輯的推理理論
習(xí)題
第二章清詞邏輯
2.1中基本概念與表示
2.2謂詞公式與翻譯
2.3約束變?cè)c自由變?cè)?br />2.4的解釋與其賦值
2.5真與邏輯有效
2,6中的等價(jià)公式
2.7變換規(guī)則
2.8的蘊(yùn)涵式
2.9中公式范式
2.10的推理理論
習(xí)題
第二篇集合論
第三章集合論的公理系統(tǒng)
3.1公理導(dǎo)出和基本概念
3.2外延公理與子集公理
3.3集合的表示法
3.4偶集公理與聯(lián)集公理
3.5極小元與正則公理
3.6無窮公理
3.7冪集公理
習(xí)題
第四章關(guān)系與函數(shù)
4.1有序?qū)?br />4.2笛卡爾積
4.3二元關(guān)系及其矩陣表示
4.4關(guān)系的性質(zhì)
4.5等價(jià)關(guān)系與劃分
4.6函數(shù)
4.7序關(guān)系
4.8代換公理
習(xí)題
第五章序數(shù)與基數(shù)
5.1序數(shù)
5.2基數(shù)
習(xí)題
第六章選擇公理與無窮集合
6.1選擇公理
6.2良序定理
6.3無窮集合
習(xí)題
第三篇數(shù)論
第七章整除
7.1因數(shù)和倍數(shù)
7.2素?cái)?shù)和合數(shù)
7.3最大公因數(shù)和最小公倍數(shù)
7.4整數(shù)分解唯一性定理
習(xí)題
第八章同余
8.1同余式定義和基本性質(zhì)
8.2剩余類和剩余系
8.3一次同余式
8.4一次同余式組
8.5二次同余式和勒讓德符號(hào)
8.6雅可比符號(hào)
習(xí)題
第四篇代數(shù)結(jié)構(gòu)
第九章代教結(jié)構(gòu)基本概念及性質(zhì)
9.1代數(shù)結(jié)構(gòu)的定義與例
9.2代數(shù)結(jié)構(gòu)的基本性質(zhì)
9.3同態(tài)與同構(gòu)
9.4同余關(guān)系
9.5商代數(shù)
9.6積代數(shù)
習(xí)題
第十章半群與群
10.1半群和獨(dú)異點(diǎn)的定義及性質(zhì)
10.2半群和獨(dú)異點(diǎn)的同態(tài)與同構(gòu)
10.3積半群
10.4群的基本定義與性質(zhì)
10.5置換群和循環(huán)群
10.6子群與陸集
10.7群的同態(tài)與同構(gòu)
習(xí)題
第十一章環(huán)和減
11.1環(huán)
11.2于環(huán)與理想
11.3環(huán)同態(tài)與環(huán)同構(gòu)
11.4域
習(xí)題
第十二章布爾代數(shù)
12.1布爾代數(shù)的基本定義與性質(zhì)
12.2格
12.3子布爾代數(shù).積布爾代數(shù)和布爾代數(shù)同態(tài)
12.4布爾代數(shù)的原子表示
12.5布爾代數(shù)
12.6布爾表達(dá)式及其范式定理
習(xí)題
第五篇圖論
第十三章圖的基本概念及矩陣表示
13.1圖的基本概念
13.2鏈（或路）與四（或回路）
13.3圖的矩陣表示
習(xí)題
第十四章幾類在要的圖
14.l歐拉圖與哈密爾頓圖
14.2二部圖
14.3樹
14.4平面圖
習(xí)題
附錄
第七章習(xí)題解答
第八章習(xí)題解答
參考文獻(xiàn)