離散數(shù)學

第1章　命題邏輯
1.1　命題與聯(lián)結詞
1.2　命題公式
1.3　等值演算
1.4　范式
1.5　聯(lián)結詞的完備集
1.6　命題邏輯的推理演算
1.7　命題邏輯在計算機科學中的應用
小結
習題
第2章　謂詞邏輯
2.1　個體、謂詞和量詞
2.2　謂詞公式
2.3　等值演算
2.4　范式
2.5　謂詞邏輯的推理演算
2.6　謂詞邏輯在計算機科學中的應用
小結
習題
第3章　非經(jīng)典邏輯簡介
3.1 引言
3.2　模態(tài)邏輯
3.3　多值邏輯
3.4　非單調(diào)邏輯
小結
習題
第4章　集合
　4.1　集合及其表示
　4.2　集合的運算
　4.3　文氏圖
　小結
　習題
第5章　關系
　5.1　關系及其表示
5.2　關系的性質(zhì)
5.3　關系的運算
5.4　等價關系
5.5　偏序關系
5.6　關系在計算機科學中的應用
小結
習題
第6章　函數(shù)
6.1 函數(shù)的基本概念
6.2　函數(shù)的性質(zhì)
6.3　函數(shù)的運算
6.4　集合的特征函數(shù)
6.5　集合的基數(shù)
6.6　經(jīng)典集合的擴展
小結
習題
第7章　代數(shù)結構
7.1　代數(shù)結構及其性質(zhì)
7.2　同態(tài)與同構
7.3　同余與商代數(shù)
小結
習題
第8章　群
　8.1　群及其性質(zhì)
　8.2　置換群與循環(huán)群
　8.3　陪集和拉格朗日定理
　8.4　正規(guī)子群與群同態(tài)基本定理
　8.5　群在計算機科學中的應用
　小結
　習題
第9章　布爾代數(shù)
9.1　概述
9.2　格
9.3　布爾代數(shù)
9.4　布爾表達式與布爾函數(shù)
9.5　布爾代數(shù)的同態(tài)與同構
小結
習題
第10章　圖的基本概念
第11章　特殊圖
參考文獻