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

第1篇 數(shù)理邏輯
第1章 命題邏輯
§1.1命題與邏輯連接詞
§1.2命題公式與真值表
§1.3永真式與永假式
§1.4代入規(guī)則與替換規(guī)則
§1.5等價(jià)與蘊(yùn)涵
§1.6對(duì)偶原理
§1.7其他連接詞
§1.8范式與范式判定問(wèn)題
§1.9命題演算的推理理論
習(xí)題1
第2章 謂詞邏輯
§2.1謂詞與個(gè)體
§2.2量詞與全總個(gè)體域
§2.3謂詞公式
§2.4自由變?cè)c約束變?cè)?br />§2.5謂詞公式的等價(jià)式與蘊(yùn)涵式
§2.6謂詞邏輯的推理理論
習(xí)題2

第2篇 集合論
第3章 集合
§3.1集合的基本概念
§3.2集合的運(yùn)算
§3.3包含排斥原理
§3.4自然數(shù)與數(shù)學(xué)歸納法
§3.5笛卡兒乘積
習(xí)題3
第4章 二元關(guān)系
§4.1關(guān)系及其性質(zhì)
§4.2關(guān)系圖與關(guān)系矩陣
§4.3關(guān)系的運(yùn)算
§4.4等價(jià)關(guān)系與劃分
§4.5相容關(guān)系與覆蓋
§4.6次序關(guān)系
習(xí)題4
第5章 函數(shù)
§5.1函數(shù)的基本概念
§5.2復(fù)合函數(shù)與逆函數(shù)
§5.3特征函數(shù)與模糊子集
§5.4集合的基數(shù)
習(xí)題5

第3篇 代數(shù)系統(tǒng)
第6章 代數(shù)系統(tǒng)初步
§6.1代數(shù)運(yùn)算
§6.2代數(shù)系統(tǒng)的概念
§6.3同態(tài)與同構(gòu)
§6.4同余關(guān)系
§6.5商代數(shù)與積代數(shù)
習(xí)題6
第7章 群、環(huán)和域
§7.1半群與獨(dú)異點(diǎn)
§7.2群的定義及基本性質(zhì)
§7.3循環(huán)群與變換群
§7.4子群
§7.5環(huán)和域
習(xí)題7
第8章 格與布爾代數(shù)
§8.1格的基本概念
§8.2格的性質(zhì)和格同態(tài)
§8.3幾種特殊格
§8.4布爾代數(shù)
習(xí)題8

第4篇 圖論
第9章 圖論基礎(chǔ)
§9.1圖的基本概念
§9.2子圖與圖的運(yùn)算
§9.3路徑、回路和連通性
§9.4可分圖與不可分圖
§9.5圖的矩陣表示法
習(xí)題9
第10章 特殊圖與應(yīng)用
§10.1歐拉圖與哈密頓圖
§10.2平面圖與歐拉公式
§10.3二部圖與匹配
§10.4對(duì)偶圖與著色
§10.5樹(shù)
§10.6根樹(shù)及其應(yīng)用
§10.7運(yùn)輸網(wǎng)絡(luò)
習(xí)題10
參考文獻(xiàn)