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

離散數(shù)學(xué)
第1章 命題演算
1.1 命題概念
1.2 復(fù)合命題與聯(lián)結(jié)詞
1.3 命題公式與真值表
1.4 等價變換與蘊含式
1.5 最小聯(lián)結(jié)詞組與范式
1.6 推理理論
第2章 謂詞演算
2.1 謂詞的概念與表示
2.2 量詞與合式公式
2.3 謂詞演算的等價式與蘊含式
2.4 前束范式
2.5 謂詞演算的推理理論
第3章 集合與函數(shù)
3.1 集合的基本概念
3.2 集合的運算
3.3 笛卡爾積與關(guān)系
3.4 關(guān)系的表示與關(guān)系性質(zhì)
3.5 關(guān)系運算與閉包
3.6 相容關(guān)系與覆蓋
3.7 等價關(guān)系與劃分
3.8 序關(guān)系
3.9 函數(shù)的概念
3.10 復(fù)合函數(shù)與逆函數(shù)
第4章 代數(shù)結(jié)構(gòu)
4.1 代數(shù)系統(tǒng)
4.2 半群與獨異點
4.3 群與子群
4.4 環(huán)與域
4.5 格與子格
4.6 分配格與有補格
4.7 布爾代數(shù)
第5章 圖論
5.1 圖的基本概念
5.2 路與回路圖的連通性
5.3 圖的矩陣表示
5.4 歐拉圖與漢密爾頓圖
5.5 平面圖
5.6 樹及應(yīng)用
參考書目
離散數(shù)學(xué)自學(xué)考試大綱
出版前言
一、課程的性質(zhì)及其設(shè)置目的和要求
二、課程內(nèi)容與考核目標
第1章 命題演算
第2章 謂詞演算
第3章 集合與函數(shù)
第4章 代數(shù)結(jié)構(gòu)
第5章 圖論
三、有關(guān)說明與實施要求
附錄題型舉例
后記